/* CirKit: A circuit toolkit
 * Copyright (C) 2009-2015  University of Bremen
 * Copyright (C) 2015-2017  EPFL
 *
 * Permission is hereby granted, free of charge, to any person
 * obtaining a copy of this software and associated documentation
 * files (the "Software"), to deal in the Software without
 * restriction, including without limitation the rights to use,
 * copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the
 * Software is furnished to do so, subject to the following
 * conditions:
 *
 * The above copyright notice and this permission notice shall be
 * included in all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
 * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
 * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
 * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
 * OTHER DEALINGS IN THE SOFTWARE.
 */

/**
 * @file optimal_quantum_circuits.hpp
 *
 * @brief Some databases of quantum circuits
 *
 * @author Mathias Soeken
 * @since  2.3
 */

#ifndef OPTIMAL_QUANTUM_CIRCUITS_HPP
#define OPTIMAL_QUANTUM_CIRCUITS_HPP

#include <cstdint>
#include <string>
#include <unordered_map>
#include <vector>

namespace cirkit
{

namespace optimal_quantum_circuits
{

/* affine classification (n = 2, 3, 4) in order of class function value */
/* synthesized by Matthew Amy using Tpar */
const std::vector<std::vector<std::string>> affine_classification = {
  {"",
   "t1 c, H c, Z[4] a, Z[4] b, Z[4] c, t2 b a, t2 c b, t2 a c, Z+[4] b, t2 a b, Z+[4] a, Z+[4] a, Z[4] c, t2 c b, t2 a c, t2 b a, H c",
   "t2 -a c"
  },
  {"",
   "H e,H d,t1 a,t1 b,t1 c,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,H e,Z[4] e,Z[4] c,Z[4] d,t2 e c,t2 c d,t2 d e,Z+[4] e,Z+[4] c,Z[4] d,t2 c e,Z+[4] e,t2 c d,t2 d e,t2 e c,H e,Z[2] a,Z[2] b,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z+[2] b,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,t1 a,t1 b,t1 c,H d,H e",
   "H d,t1 a,t1 b,Z[4] a,Z[4] b,Z[4] d,t2 a b,t2 b d,t2 d a,Z+[4] a,Z+[4] b,Z[4] d,t2 b a,Z+[4] a,t2 b d,t2 d a,t2 a b,t1 a,t1 b,H d",
   "H e,H d,t1 a,t1 c,t2 a c,t2 c d,t2 d a,Z+[4] c,Z[4] d,t2 c a,Z+[4] a,t2 c d,t2 d a,t2 a c,t1 c,t1 b,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,H e,Z[4] e,Z[2] d,t2 e c,t2 c d,t2 d e,Z+[4] c,Z[4] d,t2 c e,Z+[4] e,t2 c d,t2 d e,t2 e c,H e,Z[2] a,Z[4] a,Z[2] b,Z[4] e,t2 a b,t2 b e,t2 e a,Z+[4] a,Z+[2] b,Z[4] e,t2 b a,Z+[4] a,t2 b e,t2 e a,t2 a b,t1 a,t1 b,H d,H e",
   "t1 a,t2 a d,t1 a",
   "H d,t1 b,t1 c,t2 b c,t2 c d,t2 d b,Z+[4] c,Z[4] d,t2 c b,t2 c d,t2 d b,t2 b c,t1 a,Z[2] c,t2 a c,t2 c d,t2 d a,Z+[2] a,Z+[4] c,Z[4] d,t2 c a,t2 c d,t2 d a,t2 a c,t1 c,Z[2] a,Z[2] b,Z[2] d,Z[4] d,t2 a b,t2 b d,t2 d a,Z+[2] a,Z+[4] b,Z[4] d,t2 b a,Z+[2] a,t2 b d,t2 d a,t2 a b,t1 a,t1 b,H d"
  },
  {"",
   "t1 a,H f,Z[4] f,Z+[4] a,t2 a f,t2 f b,t2 f a,Z[4] f,Z[4] a,Z[4] b,t2 a f,t2 b a,t2 f b,t2 f a,t1 a,t1 d,H b,H e,t2 b a,t2 e b,t2 a b,t2 a e,t1 b,t1 a,t1 e,Z[4] b,Z[4] a,Z+[4] e,t2 a b,t2 e b,t2 a e,t2 b a,t2 e a,t2 c d,Z+[2] a,Z c,Z+[2] f,Z+[2] b,Z d,t2 e a,t2 d c,Z[2] a,Z e,Z c,t1 b,H b,t2 d c,t2 b c,t2 b d,t1 d,Z[4] c,Z[4] b,Z[4] d,t2 b c,t2 d c,t2 b d,t2 c d,t2 c b,Z[4] c,t2 d c,H d,t2 e d,t2 a e,t2 e a,t2 d a,t2 d e,Z[4] a,Z+[4] d,Z+[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z[4] a,t2 e a,t2 d a,H d,t2 c b,t2 d b,t2 d c,t1 c,Z[4] b,Z[4] d,Z[4] c,t2 d b,t2 c b,t2 d c,t2 b c,t2 b d,Z[4] b,t2 c b,t1 f,H c,H a,t2 c f,t2 a c,t2 a e,t2 c e,t1 f,Z[4] a,Z+[4] c,Z+[4] e,Z[4] f,t2 f a,t2 f c,t2 c e,t2 a f,t2 a e,Z[4] c,Z+[4] a,t2 f c,t2 f a,t2 c a,Z[2] a,H f,t2 e a,t2 f a,t2 a e,Z+[4] e,Z[4] a,t2 a e,t2 f a,t2 e a,t2 f e,Z[2] f,Z+[2] e,t2 e f,t2 f e,H a,t2 b d,t2 a d,t2 a b,t1 b,Z[4] d,Z[4] a,Z[4] b,t2 a d,t2 b d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 b d,H b,t2 f b,t2 e f,t2 f e,t2 b e,t2 b f,Z[4] e,Z+[4] b,Z+[4] f,t2 b e,t2 f e,t2 b f,t2 e f,t2 e b,Z[4] e,t2 b e,t2 f e,H e,H f,t2 d a,t2 f a,t2 f d,t1 d,Z[4] a,Z[4] f,Z[4] d,t2 f a,t2 d a,t2 f d,t2 a d,t2 a f,Z[4] a,t2 d a,H d,t2 c a,t2 a c,t2 c a,t2 f d,t2 d f,t2 f b,t2 b f,t2 f b",
   "H f,H e,t2 b a,t2 f a,t2 a b,Z[4] f,Z[4] a,Z[4] b,Z+[4] c,t2 a f,t2 b f,t2 e c,t2 a b,t2 f b,t2 f a,Z[4] e,Z[4] f,Z[4] c,t2 c e,t2 b f,t2 e c,t1 e,H b,t2 b e,t2 b c,t1 e,Z[4] b,Z+[4] c,Z[4] e,t2 c b,t2 e b,t2 e c,t2 b c,t2 b e,Z+[4] b,t2 e b,t2 c b,t1 a,H c,t2 c a,t2 a f,t1 f,Z[4] c,Z[4] a,Z[4] f,t2 a c,t2 f c,t2 a f,t2 c f,t2 c a,Z[4] c,t2 f c,H e,H f,Z+[2] c,t2 a c,Z+[2] c,Z+[2] a,t2 c a,t2 a c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a",
   "H e,H f,t2 f b,t2 f e,t2 e f,t2 b e,t1 d,t1 f,t1 b,t1 e,Z+[2] a,Z+[4] a,Z[2] d,Z[4] d,Z[4] f,Z[4] b,Z[4] e,t2 d a,t2 f a,t2 b a,t2 e a,t2 f d,t2 e b,t2 d f,t2 d e,t2 d b,t2 a e,Z+[2] d,Z+[4] d,Z[4] a,Z[4] b,Z[4] e,t2 e a,t2 e b,t2 a e,t1 f,H e,t2 e f,t2 e d,t1 f,Z[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 f d,t2 e d,t2 e f,Z+[4] e,t2 f e,t2 d e,t1 e,H d,t2 c e,t1 e,Z[2] d,Z b,Z a,Z c,Z e,t2 b d,t2 a d,t2 c e,t2 d a,t2 d b,Z[2] d,Z[2] b,Z[2] a,t2 b d,t2 a b,t2 d a,t2 d b,t1 b,H a,t2 f b,t2 a b,t2 b f,t1 f,t1 b,Z[4] f,Z+[4] b,t2 a f,t2 a b,t2 f b,t2 a b,Z[2] a,Z+[2] b,t2 b a,t2 a b,t1 f,t1 c,H f,t2 e f,t2 e c,t2 f e,t2 f c,t1 c,Z[4] e,Z+[4] f,Z[4] c,t2 f e,t2 c e,t2 c f,t2 e f,t2 e c,Z+[4] e,t2 c e,t2 f e,t1 e,H f,t2 a f,t2 b a,t2 a b,t2 f b,t2 f a,Z[4] b,Z+[4] f,Z+[4] a,t2 f b,t2 a b,t2 f a,t2 b a,t2 b f,Z[4] b,t2 f b,t2 a b,H a,t2 c a,t2 c e,t2 a c,t2 a e,t1 e,Z[4] c,Z+[4] a,Z[4] e,t2 a c,t2 e c,t2 e a,t2 c a,t2 c e,Z+[4] c,t2 e c,t2 a c,t1 d,H a,H f,t2 a d,t2 f a,t2 f b,t2 a b,t1 d,Z[4] f,Z+[4] a,Z+[4] b,Z[4] d,t2 d f,t2 d a,t2 a b,t2 f d,t2 f b,Z[4] a,Z+[4] f,t2 d a,t2 d f,t2 a f,Z[2] f,t1 c,H d,t2 b f,t2 d f,t2 f b,Z+[4] b,Z[4] f,t2 f b,t2 d f,t2 b f,t2 d b,Z[2] d,Z+[2] b,t2 b d,t2 d b,H f,t2 e f,t2 e c,t2 f e,t2 f c,t1 c,Z[4] e,Z+[4] f,Z[4] c,t2 f e,t2 c e,t2 c f,t2 e f,t2 e c,Z+[4] e,t2 c e,t2 f e,t1 e,H f,t2 d f,t2 b d,t2 d b,t2 f b,t2 f d,Z[4] b,Z+[4] f,Z+[4] d,t2 f b,t2 d b,t2 f d,t2 b d,t2 b f,Z[4] b,t2 f b,t2 d b,H b,H d,t2 c d,t2 c e,t2 d c,t2 d e,t1 e,Z[4] c,Z+[4] d,Z[4] e,t2 d c,t2 e c,t2 e d,t2 c d,t2 c e,Z+[4] c,t2 e c,t2 d c,H d,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t2 e d,t2 d e,t2 e b,t2 b e,t2 e b",
   "H e,t2 b a,t2 b e,t2 a e,t2 a b,Z+[4] a,Z+[4] b,Z[4] e,t2 b a,t2 e a,t2 e b,t2 a e,Z[4] b,Z[4] a,Z+[4] e,t2 e b,t2 b e,t2 b a,Z[4] b,t2 e b,H e",
   "H f,H e,t2 c a,t2 f a,Z[4] f,Z[4] a,Z+[2] c,Z+[4] c,t2 c f,t2 c a,t2 e c,Z[2] e,Z[4] e,Z[4] a,Z[4] f,Z[4] c,t2 a e,t2 f e,t2 c e,t2 f a,t2 a c,t2 a f,t2 e c,t2 e f,t2 e a,t1 d,H f,t2 f d,t2 f c,t1 d,Z[4] f,Z+[4] c,Z[4] d,t2 c f,t2 d f,t2 d c,t2 f c,t2 f d,Z+[4] f,t2 d f,t2 c f,t2 d f,Z[2] f,Z+[2] b,t2 d f,t1 e,H c,t2 c e,t2 a b,t2 c a,t2 e b,t1 b,t1 a,Z[4] e,Z[4] b,Z[4] a,t2 b e,t2 a e,t2 c a,t2 e b,Z[4] e,t2 c e,t2 a b,t2 a e,t2 b a,t2 b e,Z+[2] b,Z[2] c,Z+[2] e,Z a,Z+[2] f,t2 a b,t2 a c,t2 a e,t2 c a,Z[2] c,t2 a c,t1 b,t1 f,H a,t2 a b,t2 a f,t2 f d,t1 f,t1 d,t1 b,Z[4] f,Z+[4] d,Z[4] b,t2 d f,t2 b f,t2 b d,t2 a d,t2 f b,t2 f d,Z+[4] f,t2 b f,t2 a f,t2 a b,Z[2] a,Z+[2] b,t2 b a,t2 a b,t1 c,H b,t2 b c,t2 c e,t1 e,Z[4] b,Z[4] c,Z[4] e,t2 c b,t2 e b,t2 c e,t2 b e,t2 b c,Z[4] b,t2 e b,H a,H e,t2 e a,t2 a e,t2 e a,t2 a c,t2 c a,t2 a c,t2 c f,t2 f c,t2 c f",
   "t1 a,H e,t2 e a,t2 e f,t2 b f,t2 a f,t1 b,t1 f,Z+[2] e,Z+[4] e,Z[4] a,Z[4] b,Z+[2] f,Z+[4] f,t2 b a,t2 a f,t2 e f,Z[4] a,t2 e a,t1 a,H f,t2 f a,t2 f b,t1 a,Z[4] f,Z+[4] b,Z[4] a,t2 b f,t2 a f,t2 a b,t2 f b,t2 f a,Z+[4] f,t2 a f,t2 b f,H b,t2 e a,t2 b a,t2 a e,Z+[4] e,Z[4] a,t2 b e,t2 b a,t2 e a,t2 b a,Z[2] b,Z+[2] a,Z d,t2 a b,t2 b a,H e,t2 c d,t2 e d,t2 e c,t1 c,Z[4] d,Z[4] e,Z[4] c,t2 e d,t2 c d,t2 e c,t2 d c,t2 d e,Z[4] d,t2 c d,t2 d e,Z e,Z d,H c,t2 b c,t2 a b,t2 b a,t2 c a,t2 c b,Z[4] a,Z+[4] c,Z+[4] b,t2 c a,t2 b a,t2 c b,t2 a b,t2 a c,Z[4] a,t2 c a,t2 b a,H b,t2 b e,t2 b d,t1 d,Z[4] e,Z[4] b,Z[4] d,t2 b e,t2 d e,t2 b d,t2 e d,t2 e b,Z[4] e,t2 d e,t1 f,H d,H c,t2 d f,t2 c d,t2 c a,t2 d a,t1 f,Z[4] c,Z+[4] d,Z+[4] a,Z[4] f,t2 f c,t2 f d,t2 d a,t2 c f,t2 c a,Z[4] d,Z+[4] c,t2 f d,t2 f c,t2 d c,Z[2] c,H f,t2 a c,t2 f c,t2 c a,Z+[4] a,Z[4] c,t2 c a,t2 f c,t2 a c,t2 f a,Z[2] f,Z+[2] a,t2 a f,t2 f a,H c,t2 e b,t2 c b,t2 c e,t1 e,Z[4] b,Z[4] c,Z[4] e,t2 c b,t2 e b,t2 c e,t2 b e,t2 b c,Z[4] b,t2 e b,H e,t2 f e,t2 a f,t2 f a,t2 e a,t2 e f,Z[4] a,Z+[4] e,Z+[4] f,t2 e a,t2 f a,t2 e f,t2 a f,t2 a e,Z[4] a,t2 e a,t2 f a,H a,H f,t2 b c,t2 f c,t2 f b,t1 b,Z[4] c,Z[4] f,Z[4] b,t2 f c,t2 b c,t2 f b,t2 c b,t2 c f,Z[4] c,t2 b c,H b,t2 d f,t2 f d,t2 d f,t2 f e,t2 e f,t2 f e,t2 e a,t2 a e,t2 e a",
   "H f,H e,t2 c a,t2 c b,t2 f b,t2 a c,t2 a b,Z+[4] a,Z[4] f,Z[4] b,Z+[2] c,Z+[4] c,t2 e a,t2 c f,t2 c b,t2 e c,Z[4] a,Z[4] c,Z[4] f,Z[4] b,t2 c a,t2 f c,t2 b c,t2 e c,t2 b f,t2 c b,Z[2] e,Z+[2] f,Z+[2] c,t2 c f,H b,t2 b a,t2 b e,Z[4] b,Z+[4] a,Z+[4] e,t2 a b,t2 e b,t2 a e,t2 b e,t2 b a,Z[4] b,t2 a b,t2 e b,t1 f,H e,t2 e f,t2 f c,t1 c,Z[4] e,Z[4] f,Z[4] c,t2 f e,t2 c e,t2 f c,t2 e c,t2 e f,Z[4] e,t2 c e,H a,H c,t2 c b,t2 b c,t2 c b,t2 b e,t2 e b,t2 b e,t2 e a,t2 a e,t2 e a,t2 a f,t2 f a,t2 a f",
   "t2 a e,t1 a,t1 e,H f,t2 b a,t2 f b,t2 f e,t2 b e,t2 a e,t1 a,Z[4] f,Z+[4] b,Z[4] a,t2 a f,t2 a b,t2 f a,Z[4] b,Z+[4] f,t2 a b,t2 a f,t2 b f,t2 b e,t1 e,H a,H e,t2 a f,t2 e a,t2 f a,t2 f e,Z+[4] a,Z+[4] f,Z[4] e,t2 f a,t2 e a,t2 f e,t2 a f,t2 d c,t2 e f,Z[2] a,Z+[2] f,Z d,Z c,Z+[2] b,t2 e f,t2 c d,t2 d c,Z[2] f,Z e,Z d,H a,t2 c a,t2 c d,t2 a c,t2 a d,Z[4] c,Z+[4] a,Z+[4] d,t2 a c,t2 d c,t2 d a,t2 c a,t2 c d,Z[4] c,t2 d c,t2 a c,H a,t2 e a,t2 f e,t2 e f,t2 a f,t2 a e,Z[4] f,Z+[4] a,Z+[4] e,t2 a f,t2 e f,t2 e a,t2 f a,t2 f e,Z[4] f,t2 e f,t2 a f,H a,t2 d a,t2 d c,t2 a d,t2 a c,Z[4] d,Z+[4] a,Z+[4] c,t2 a d,t2 c d,t2 c a,t2 d a,t2 d c,Z[4] d,t2 c d,t2 a d,t1 b,H a,H f,t2 a b,t2 f a,t2 f e,t2 a e,t1 b,Z[4] f,Z+[4] a,Z+[4] e,Z[4] b,t2 b f,t2 b a,t2 a e,t2 f b,t2 f e,Z[4] a,Z+[4] f,t2 b a,t2 b f,t2 a f,Z[2] f,H b,t2 e f,t2 b f,t2 f e,Z+[4] e,Z[4] f,t2 f e,t2 b f,t2 e f,t2 b e,Z[2] b,Z+[2] e,t2 e b,t2 b e,H f,t2 c f,t2 c d,t2 f c,t2 f d,Z[4] c,Z+[4] f,Z+[4] d,t2 f c,t2 d c,t2 d f,t2 c f,t2 c d,Z[4] c,t2 d c,t2 f c,H f,t2 b f,t2 e b,t2 b e,t2 f e,t2 f b,Z[4] e,Z+[4] f,Z+[4] b,t2 f e,t2 b e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 f e,t2 b e,H e,H b,t2 d b,t2 d c,t2 b d,t2 b c,Z[4] d,Z+[4] b,Z+[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z[4] d,t2 c d,t2 b d,H b,t2 d c,t2 c d,t2 d c",
   "t1 a,t2 a e,t1 a",
   "t1 c,H e,H f,t2 f b,t2 f e,t2 e f,t2 b e,t1 a,t1 d,t1 f,t1 b,t1 e,Z+[2] a,Z+[4] a,Z+[4] d,Z+[2] f,Z+[4] f,Z[4] b,Z[4] e,t2 d a,t2 f a,t2 e a,t2 f d,t2 b d,t2 e d,t2 b f,t2 e f,t2 e b,t2 b e,t2 d f,t2 d b,t2 d c,Z[4] b,Z[4] d,Z[4] e,Z[4] c,t2 c d,t2 c e,t2 d c,t1 f,H c,t2 c f,t2 c b,t1 f,Z[4] c,Z+[4] b,Z[4] f,t2 b c,t2 f c,t2 f b,t2 c b,t2 c f,Z+[4] c,t2 f c,t2 b c,t1 e,H b,t2 b e,t2 b d,t1 d,Z[4] b,Z[4] e,Z[4] d,t2 e b,t2 d b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 d b,t1 c,H d,t2 d c,t2 d f,t1 c,Z[4] d,Z+[4] f,Z[4] c,t2 f d,t2 c d,t2 c f,t2 d f,t2 d c,Z+[4] d,t2 c d,t2 f d,t1 a,H f,t2 f a,t2 f e,t1 e,Z[4] f,Z[4] a,Z[4] e,t2 a f,t2 e f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 e f,t1 d,H e,t2 e d,t2 e c,t1 d,Z[4] e,Z+[4] c,Z[4] d,t2 c e,t2 d e,t2 d c,t2 e c,t2 e d,Z+[4] e,t2 d e,t2 c e,t1 f,H c,t2 c f,t2 c a,t1 a,Z[4] c,Z[4] f,Z[4] a,t2 f c,t2 a c,t2 f a,t2 c a,t2 c f,Z[4] c,t2 a c,t1 f,t1 e,H a,t2 a e,t2 a d,t1 e,Z[4] a,Z+[4] d,Z[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z+[4] a,t2 e a,t2 d a,t1 c,t1 a,H d,t2 d c,t2 d b,t1 b,Z[4] d,Z[4] c,Z[4] b,t2 c d,t2 b d,t2 c b,t2 d b,t2 d c,Z[4] d,t2 b d,H b,t2 b a,t2 b e,t1 a,Z[4] b,Z+[4] e,Z[4] a,t2 e b,t2 a b,t2 a e,t2 b e,t2 b a,Z+[4] b,t2 a b,t2 e b,t1 b,H e,t2 e f,t2 e b,t2 f b,t1 d,t1 c,t1 e,t1 f,t1 b,Z+[2] d,Z[2] c,Z[2] e,Z[2] f,Z b,t2 e d,t2 f d,t2 e c,t2 f e,t2 f b,t2 e b,t2 c b,t2 c f,t2 c e,t2 d b,Z+[2] d,Z[2] c,Z[2] e,Z[2] f,t2 c d,t2 e d,t2 f d,t2 e c,t2 f c,t2 f e,t2 c e,t1 c,H e,t2 a c,t2 e c,t2 c a,t1 a,t1 c,Z[4] a,Z+[4] c,t2 e a,t2 e c,t2 a c,t2 e c,Z[2] e,Z+[2] c,t2 c e,t2 e c,t1 a,t1 d,H a,t2 b a,t2 b d,t2 a b,t2 a d,t1 d,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 d b,t2 a b,t1 b,H a,t2 e a,t2 c e,t2 e c,t2 a c,t2 a e,Z[4] c,Z+[4] a,Z+[4] e,t2 a c,t2 e c,t2 a e,t2 c e,t2 c a,Z[4] c,t2 a c,t2 e c,H e,t2 d e,t2 d b,t2 e d,t2 e b,t1 b,Z[4] d,Z+[4] e,Z[4] b,t2 e d,t2 b d,t2 b e,t2 d e,t2 d b,Z+[4] d,t2 b d,t2 e d,t1 f,H e,H a,t2 e f,t2 a e,t2 a c,t2 e c,t1 f,Z[4] a,Z+[4] e,Z+[4] c,Z[4] f,t2 f a,t2 f e,t2 e c,t2 a f,t2 a c,Z[4] e,Z+[4] a,t2 f e,t2 f a,t2 e a,Z[2] a,t1 d,H f,t2 c a,t2 f a,t2 a c,Z+[4] c,Z[4] a,t2 a c,t2 f a,t2 c a,t2 f c,Z[2] f,Z+[2] c,t2 c f,t2 f c,H a,t2 b a,t2 b d,t2 a b,t2 a d,t1 d,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 d b,t2 a b,t1 b,H a,t2 f a,t2 c f,t2 f c,t2 a c,t2 a f,Z[4] c,Z+[4] a,Z+[4] f,t2 a c,t2 f c,t2 a f,t2 c f,t2 c a,Z[4] c,t2 a c,t2 f c,H c,H f,t2 d f,t2 d b,t2 f d,t2 f b,t1 b,Z[4] d,Z+[4] f,Z[4] b,t2 f d,t2 b d,t2 b f,t2 d f,t2 d b,Z+[4] d,t2 b d,t2 f d,H f,t1 f,H e,Z[2] e,H e,Z[2] e,H e,Z[2] e,t2 e c,t2 c e,t2 e c,t2 c d,t2 d c,t2 c d,t2 d b,t2 b d,t2 d b,t2 b f,t2 f b,t2 b f,t2 f a,t2 a f,t2 f a",
   "H f,H e,t2 b a,t2 f c,t2 b e,t2 a e,Z[4] f,Z+[4] a,Z+[2] b,Z+[4] b,Z[4] c,Z[4] e,t2 b f,t2 b a,t2 e a,t2 e b,t2 e c,t2 b c,t2 a e,Z[4] c,Z[2] a,Z[4] a,Z[4] b,Z[4] f,Z+[2] e,Z+[4] e,t2 f c,t2 b a,t2 e a,t2 e b,t2 a b,t2 a f,t1 a,t1 d,H f,t2 b a,t2 f d,t2 f b,t1 d,t1 a,Z[4] f,Z+[4] b,Z[4] d,Z[4] a,t2 b f,t2 d f,t2 d b,t2 a d,t2 d a,t2 f b,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 b f,t2 c e,t2 c d,t2 f a,Z+[2] d,Z+[2] e,Z c,Z+[2] f,Z[2] a,t2 c d,t2 c e,t2 f a,t1 d,t1 f,H b,t2 b e,t2 c d,t2 b d,t2 d c,t1 e,t1 c,Z[4] d,Z[4] e,Z[4] c,t2 e d,t2 c d,t2 b c,t2 d e,Z[4] d,t2 b d,t2 b e,Z[2] b,Z[2] e,t2 e b,t2 b e,H e,t2 e f,t2 e a,t1 f,Z[4] e,Z+[4] a,Z[4] f,t2 a e,t2 f e,t2 f a,t2 e a,t2 e f,Z+[4] e,t2 f e,t2 a e,t1 d,H a,t2 a d,t2 d b,t1 b,Z[4] a,Z[4] d,Z[4] b,t2 d a,t2 b a,t2 d b,t2 a b,t2 a d,Z[4] a,t2 b a,H f,H b,t2 b c,t2 c b,t2 b c,t2 c a,t2 a c,t2 c a,t2 a d,t2 d a,t2 a d,t2 d e,t2 e d,t2 d e,t2 e f,t2 f e,t2 e f",
   "H e,t2 c b,t2 f e,t2 e f,t2 c e,t2 a c,t2 a b,t2 a f,t1 b,t1 c,t1 e,Z+[4] a,Z[4] f,Z+[4] b,Z+[4] c,Z[4] e,t2 c a,t2 c f,t2 c b,t2 c e,t2 f e,t2 a e,t2 a f,t2 d a,t2 d e,t2 a d,Z+[2] f,Z d,Z a,Z b,Z e,t2 a e,t2 d e,t2 d a,t1 c,H e,t2 e c,t2 e b,t2 e f,t2 b f,t1 b,t1 f,Z[4] e,Z[4] c,Z[4] b,Z[4] f,t2 c e,t2 b e,t2 c b,t2 c f,t2 e b,t2 e f,t2 e c,Z[4] e,t2 b e,t1 c,H b,t2 b d,t2 b f,Z[4] b,Z+[4] f,Z+[4] d,t2 f b,t2 d b,t2 d f,t2 b f,t2 b d,Z[4] b,t2 d b,t2 f b,H f,t2 f c,t1 c,Z[2] f,Z[2] c,t2 c f,t2 f c,t1 f,H c,t2 d f,t2 c f,t2 f d,t1 d,t1 f,Z[4] d,Z+[4] f,t2 c d,t2 c f,t2 d f,t2 c f,Z[2] c,Z+[2] f,t2 f c,t2 c f,t1 d,H d,t2 b a,t2 d a,t2 d b,t1 b,Z[4] a,Z[4] d,Z[4] b,t2 d a,t2 b a,t2 d b,t2 a b,t2 a d,Z[4] a,t2 b a,H b,t2 c b,t2 f c,t2 c f,t2 b f,t2 b c,Z[4] f,Z+[4] b,Z+[4] c,t2 b f,t2 c f,t2 b c,t2 f c,t2 f b,Z[4] f,t2 b f,t2 c f,H c,t2 a d,t2 c d,t2 c a,t1 a,Z[4] d,Z[4] c,Z[4] a,t2 c d,t2 a d,t2 c a,t2 d a,t2 d c,Z[4] d,t2 a d,H a,H b,t2 a e,t2 b a,t2 b f,t2 a f,Z[4] b,Z+[4] a,Z+[4] e,Z+[4] f,t2 e b,t2 e a,t2 a f,t2 b e,t2 b f,Z+[4] a,Z[4] b,t2 e a,t2 e b,t2 a b,Z[2] b,H e,t2 f b,t2 e b,t2 b f,Z+[4] f,Z[4] b,t2 b f,t2 e b,t2 f b,t2 e f,Z[2] e,Z+[2] f,t2 f e,t2 e f,H b,t2 d c,t2 b c,t2 b d,t1 d,Z[4] c,Z[4] b,Z[4] d,t2 b c,t2 d c,t2 b d,t2 c d,t2 c b,Z[4] c,t2 d c,H d,t2 e d,t2 f e,t2 e f,t2 d f,t2 d e,Z[4] f,Z+[4] d,Z+[4] e,t2 d f,t2 e f,t2 d e,t2 f e,t2 f d,Z[4] f,t2 d f,t2 e f,H f,H e,t2 c b,t2 e b,t2 e c,t1 c,Z[4] b,Z[4] e,Z[4] c,t2 e b,t2 c b,t2 e c,t2 b c,t2 b e,Z[4] b,t2 c b,H c,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t2 b c,t2 c b,t2 e f,t2 f e,t2 e f,t2 f d,t2 d f,t2 f d",
   "t2 a e,t1 a,t1 e,H f,t2 b a,t2 f b,t2 f e,t2 b e,t2 a e,t1 a,Z[4] f,Z+[4] b,Z[4] a,t2 a f,t2 a b,t2 f a,Z[4] b,Z+[4] f,t2 a b,t2 a f,t2 b f,t2 b e,t1 e,H a,H e,t2 a f,t2 e a,t2 f a,t2 f e,Z+[4] a,Z+[4] f,Z[4] e,t2 f a,t2 e a,t2 f e,t2 a f,t2 e f,t2 f e,Z[2] a,Z[2] e,Z+[2] f,t2 f e,t2 e f,H a,t2 d a,t2 d c,t2 a d,t2 a c,Z[4] d,Z+[4] a,Z+[4] c,t2 a d,t2 c d,t2 c a,t2 d a,t2 d c,Z[4] d,t2 c d,t2 a d,H a,t2 e a,t2 f e,t2 e f,t2 a f,t2 a e,Z[4] f,Z+[4] a,Z+[4] e,t2 a f,t2 e f,t2 e a,t2 f a,t2 f e,Z[4] f,t2 e f,t2 a f,H a,t2 c a,t2 c d,t2 a c,t2 a d,Z[4] c,Z+[4] a,Z+[4] d,t2 a c,t2 d c,t2 d a,t2 c a,t2 c d,Z[4] c,t2 d c,t2 a c,t1 b,H a,H f,t2 a b,t2 f a,t2 f e,t2 a e,t1 b,Z[4] f,Z+[4] a,Z+[4] e,Z[4] b,t2 b f,t2 b a,t2 a e,t2 f b,t2 f e,Z[4] a,Z+[4] f,t2 b a,t2 b f,t2 a f,Z[2] f,H b,t2 e f,t2 b f,t2 f e,Z+[4] e,Z[4] f,t2 f e,t2 b f,t2 e f,t2 b e,Z[2] b,Z+[2] e,t2 e b,t2 b e,H f,t2 d f,t2 d c,t2 f d,t2 f c,Z[4] d,Z+[4] f,Z+[4] c,t2 f d,t2 c d,t2 c f,t2 d f,t2 d c,Z[4] d,t2 c d,t2 f d,H f,t2 b f,t2 e b,t2 b e,t2 f e,t2 f b,Z[4] e,Z+[4] f,Z+[4] b,t2 f e,t2 b e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 f e,t2 b e,H b,t2 c b,t2 c d,t2 b c,t2 b d,Z[4] c,Z+[4] b,Z+[4] d,t2 b c,t2 d c,t2 d b,t2 c b,t2 c d,Z[4] c,t2 d c,t2 b c,H b,t1 b,H f,t2 f a,t2 f b,t2 f e,t2 b e,t2 a b,t1 b,t1 e,Z[4] f,Z+[4] a,Z[4] b,Z[4] e,t2 b f,t2 b a,t2 e b,t2 b e,t2 a b,t2 f e,t2 f b,Z[4] a,Z+[4] f,t2 f a,t2 e f,t2 a f,Z+[2] f,t1 f,H e,t2 b f,t2 e f,t2 f b,t1 b,t1 f,Z[4] b,Z+[4] f,t2 f b,t2 e f,t2 b f,t2 e b,Z[2] e,Z+[2] b,t2 b e,t2 e b,t1 f,H f,t2 c d,t2 f d,t2 f c,t1 c,Z[4] d,Z[4] f,Z[4] c,t2 f d,t2 c d,t2 f c,t2 d c,t2 d f,Z[4] d,t2 c d,H c,t2 e c,t2 b e,t2 e b,t2 c b,t2 c e,Z[4] b,Z+[4] c,Z+[4] e,t2 c b,t2 e b,t2 c e,t2 b e,t2 b c,Z[4] b,t2 c b,t2 e b,H e,t2 d f,t2 e f,t2 e d,t1 d,Z[4] f,Z[4] e,Z[4] d,t2 e f,t2 d f,t2 e d,t2 f d,t2 f e,Z[4] f,t2 d f,H d,H c,t2 d a,t2 c d,t2 c b,t2 d b,Z[4] c,Z+[4] d,Z+[4] a,Z+[4] b,t2 a c,t2 a d,t2 d b,t2 c a,t2 c b,Z+[4] d,Z[4] c,t2 a d,t2 a c,t2 d c,Z[2] c,H a,t2 b c,t2 a c,t2 c b,Z+[4] b,Z[4] c,t2 c b,t2 a c,t2 b c,t2 a b,Z[2] a,Z+[2] b,t2 b a,t2 a b,H c,t2 f e,t2 c e,t2 c f,t1 f,Z[4] e,Z[4] c,Z[4] f,t2 c e,t2 f e,t2 c f,t2 e f,t2 e c,Z[4] e,t2 f e,H f,t2 a f,t2 b a,t2 a b,t2 f b,t2 f a,Z[4] b,Z+[4] f,Z+[4] a,t2 f b,t2 a b,t2 f a,t2 b a,t2 b f,Z[4] b,t2 f b,t2 a b,H b,H a,t2 e c,t2 a c,t2 a e,t1 e,Z[4] c,Z[4] a,Z[4] e,t2 a c,t2 e c,t2 a e,t2 c e,t2 c a,Z[4] c,t2 e c,H e,t2 d a,t2 a d,t2 d a,t2 b e,t2 e b",
   "H e,t2 c a,t2 c b,t2 a e,Z+[4] b,Z+[4] a,Z[4] e,t2 a b,t2 e b,t2 e a,t2 b e,Z[2] a,Z[4] a,Z[4] b,Z+[4] e,t2 e a,t2 e b,t2 c b,t2 a e,t2 a b,Z[4] a,t2 b a,t2 e a,t2 e b,t2 b e,Z+[2] e,Z+[2] c,Z[2] b,Z+[2] a,t2 c e,t2 b e,t2 a c,t2 a b,t2 c a,t2 c b,t2 e a,t2 e b,t2 e c,Z[2] e,Z[2] c,t2 a e,t2 a c,H a,t2 c e,t2 e c,t2 c e,t2 e a,t2 a e,t2 e a",
   "H e,t2 d a,t2 c b,t2 c e,t2 b e,t2 b c,t2 a d,Z+[4] b,Z+[4] a,Z+[4] c,Z[4] e,Z+[4] d,t2 c b,t2 e b,t2 c a,t2 e a,t2 e d,t2 c d,t2 a d,t2 b c,t2 b e,Z[4] b,Z[4] a,Z+[4] e,Z[4] c,Z+[4] d,t2 c b,t2 d a,t2 c e,t2 d e,t2 d c,t2 e d,t2 e c,Z[4] a,Z[4] e,t2 d a,t2 d e,Z[2] d,H d,t2 e d,t2 d e,t2 e d",
   "H e,t2 c f,t2 b c,t1 c,t1 f,t1 a,Z+[4] e,Z+[4] b,Z[4] c,Z+[2] f,Z+[4] f,Z[4] a,t2 b e,t2 a c,t2 a f,t2 c f,t2 c a,t2 b f,t2 e b,t2 e a,Z[4] e,Z[4] a,t2 a e,t2 b a,t1 c,H f,t2 f c,t2 f e,t1 c,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 c f,t2 e f,H e,t2 b c,t2 e c,t2 c b,Z+[4] b,Z[4] c,t2 e b,t2 e c,t2 b c,t2 e c,Z[2] e,Z+[2] c,Z[2] f,t2 c e,t2 e c,H b,t2 a d,t2 b d,t2 b a,t1 a,Z[4] d,Z[4] b,Z[4] a,t2 b d,t2 a d,t2 b a,t2 d a,t2 d b,Z[4] d,t2 a d,t2 b d,t2 b e,Z d,Z f,Z[2] b,Z[2] e,t2 b d,t2 b e,H a,t2 e a,t2 c e,t2 e c,t2 a c,t2 a e,Z[4] c,Z+[4] a,Z+[4] e,t2 a c,t2 e c,t2 a e,t2 c e,t2 c a,Z[4] c,t2 a c,t2 e c,H e,t2 d b,t2 e b,t2 e d,t1 d,Z[4] b,Z[4] e,Z[4] d,t2 e b,t2 d b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 d b,t1 f,H d,H a,t2 d f,t2 a d,t2 a c,t2 d c,t1 f,Z[4] a,Z+[4] d,Z+[4] c,Z[4] f,t2 f a,t2 f d,t2 d c,t2 a f,t2 a c,Z[4] d,Z+[4] a,t2 f d,t2 f a,t2 d a,Z[2] a,H f,t2 f a,t2 f c,Z[2] f,Z[4] f,Z+[4] a,Z+[2] c,Z+[4] c,t2 a f,t2 c f,t2 c a,t2 e a,t2 e c,t2 a e,t2 f e,t2 f a,Z[4] f,Z[4] a,Z+[4] c,t2 a f,t2 c f,t2 e f,t2 e a,t2 e c,t2 a c,H f,t2 b a,t2 f a,t2 f b,t1 b,Z[4] a,Z[4] f,Z[4] b,t2 f a,t2 b a,t2 f b,t2 a b,t2 a f,Z[4] a,t2 b a,H b,t2 c b,t2 e c,t2 c e,t2 b e,t2 b c,Z[4] e,Z+[4] b,Z+[4] c,t2 b e,t2 c e,t2 b c,t2 e c,t2 e b,Z[4] e,t2 b e,t2 c e,H c,t2 a f,t2 c f,t2 c a,t1 a,Z[4] f,Z[4] c,Z[4] a,t2 c f,t2 a f,t2 c a,t2 f a,t2 f c,Z[4] f,t2 a f,H a,H b,t2 b d,t2 b f,t1 d,Z[4] b,Z+[4] f,Z[4] d,t2 f b,t2 d b,t2 d f,t2 b f,t2 b d,Z+[4] b,t2 d b,t2 f b,H f,t2 f c,t2 f e,t1 c,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 c f,t2 e f,t1 b,H c,H e,t2 e b,t2 e d,t1 b,Z[4] e,Z+[4] d,Z[4] b,t2 d e,t2 b e,t2 b d,t2 e d,t2 e b,Z+[4] e,t2 b e,t2 d e,t1 f,H d,t2 e c,t2 c e,t2 e c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a,t2 d f,t2 f d",
   "H f,H e,t2 b a,t2 f a,t2 c b,t2 b c,Z+[4] b,Z[4] f,Z[4] a,Z+[4] c,Z+[4] d,t2 e b,t2 c f,t2 c a,t2 e c,t2 e d,Z[2] e,Z[4] e,Z[4] b,Z[4] c,Z[4] a,Z[4] f,Z[4] d,t2 c e,t2 a e,t2 f e,t2 c b,t2 a c,t2 f c,t2 d c,t2 f a,t2 a f,t2 c d,t2 e d,t2 e f,t2 e c,t2 e a,H f,t2 f b,t2 f d,Z[4] f,Z+[4] b,Z+[4] d,t2 b f,t2 d f,t2 b d,t2 f d,t2 f b,Z[4] f,t2 b f,t2 d f,H d,Z[2] d,Z e,t2 e d,t2 d e,Z[2] d,t2 e d,t1 c,H e,t2 e c,t2 e b,t1 c,Z[4] e,Z+[4] b,Z[4] c,t2 b e,t2 c e,t2 c b,t2 e b,t2 e c,Z+[4] e,t2 c e,t2 b e,t1 d,H b,t2 b d,t2 b a,t1 d,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 d b,t2 a b,H a,H c,t2 a b,t2 b a,t2 a b,t2 b d,t2 d b,t2 b d,t2 d e,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c,t2 c f,t2 f c,t2 c f"
  }
};

const std::vector<std::vector<unsigned>> affine_classification_tcount = {
  {0, 7, 0},
  {0, 15, 7, 16, 0, 7},
  {0, 40, 15, 47, 7, 23, 43, 16, 40, 0, 79, 27, 48, 140, 7, 12, 61, 23}
};

const std::vector<std::unordered_map<uint64_t, unsigned>> affine_classification_index = {
    {{0x0, 0}, {0x1, 1}, {0x3, 2}},
    {{0x00, 0}, {0x01, 1}, {0x03, 2}, {0x07, 3}, {0x0f, 4}, {0x17, 5}},
    {{0x0000, 0},{0x0001, 1},{0x0003, 2},{0x0007, 3},{0x000f, 4},{0x0017, 5},{0x001f, 6},{0x003f, 7},{0x007f, 8},{0x00ff, 9},{0x0117, 10},{0x011f, 11},{0x013f, 12},{0x017f, 13},{0x033f, 14},{0x0356, 15},{0x0357, 16},{0x035f, 17}}
};

/* affine classification (n = 2, 3, 4) in order of class function value */
/* synthesized by Matthew Amy using Tpar */
const std::vector<std::vector<std::string>> spectral_classification = {
  {"",
   "H c,Z[4] a,Z[4] b,Z[4] c,t2 b a,t2 c b,t2 a c,Z+[4] b,t2 a b,Z+[4] a,Z+[4] b,Z[4] c,t2 c b,t2 a c,t2 b a,H c"
  },
  {"",
   "H e,t2 b a,t2 e a,t2 e b,t2 e d,t2 b d,t2 a d,Z[4] e,Z+[4] b,Z[4] a,Z+[4] d,t2 b e,t2 a b,t2 a d,t2 b a,t2 e d,t2 e a,t2 b a,H a,H d,t2 a c,t2 a d,Z+[4] d,Z+[4] c,Z[4] a,t2 c d,t2 a d,t2 d c,Z[4] d,t2 a d,H a,t2 e b,t2 a b,t2 a e,Z[4] a,Z+[4] e,Z[4] b,t2 e a,t2 b a,t2 b e,t2 a e,t2 a b,Z+[4] a,t2 e a,t2 a e,H e,t2 e d,t2 d c,Z+[4] e,Z[4] c,Z+[4] d,t2 c e,t2 d e,t2 d c,t2 e c,t2 e d,Z[4] e,t2 c e,H e,t2 d e,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c",
   "H d,t2 a d,Z[4] a,Z[4] b,Z+[4] d,t2 d a,t2 b d,t2 a d,t2 a b,Z[4] a,Z+[4] b,Z+[4] d,t2 d a,t2 d b,t2 a d,t2 a b,Z[4] a,t2 b a,t2 d a,H d"
  },
  {"",
   "H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 c a,t2 c e,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,Z+[4] e,t2 b a,t2 c b,t2 c e,t2 a e,t2 a c,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,H f,H e,t2 f d,t2 f e,Z+[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 e d,Z[4] e,t2 f e,t2 d e,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 a b,t2 c b,t2 c a,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 a c,H a,t2 a f,Z[4] a,Z+[4] f,t2 f a,H f,t2 f e,t2 e d,Z+[4] f,Z[4] e,Z+[4] d,t2 e f,t2 d f,t2 d e,t2 f e,t2 f d,Z[4] f,t2 e f,H f,t2 c a,t2 a c,t2 c a,t2 f e,t2 e f,t2 f e",
   "H d,t2 b a,t2 d a,t2 d b,t2 e d,t2 d e,t2 b d,t2 a d,Z[4] e,Z+[4] b,Z[4] a,Z+[4] d,t2 b e,t2 a b,t2 a d,t2 b a,t2 e d,t2 e a,t2 b a,H a,H d,t2 a c,t2 d a,t2 a d,Z+[4] a,Z+[4] c,Z[4] d,t2 c a,t2 d a,t2 a c,Z[4] a,t2 d a,t2 c a,H d,t2 e b,t2 d b,t2 d e,Z[4] d,Z+[4] e,Z[4] b,t2 e d,t2 b d,t2 b e,t2 d e,t2 d b,Z+[4] d,t2 e d,t2 d e,H e,t2 e a,t2 c a,t2 a c,Z+[4] e,Z[4] c,Z+[4] a,t2 c e,t2 a e,t2 a c,t2 e c,t2 e a,Z[4] e,t2 c e,H e,t2 d c,t2 c d,t2 d c,t2 c a,t2 a c,t2 c a",
   "H e,t2 b f,t2 a f,Z[4] a,Z[4] b,Z[4] e,Z+[4] f,t2 e a,t2 e b,t2 b f,t2 b e,t2 a f,t2 a e,Z+[4] b,Z+[4] a,Z[4] e,t2 e b,t2 e a,t2 a e,t2 b e,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 c b,t2 a c,t2 b a,Z[4] b,Z+[4] a,Z[4] c,t2 a b,t2 c b,t2 c a,t2 b c,Z+[4] b,H b,t2 b f,Z[4] b,Z+[4] f,t2 f b,H f,t2 e d,t2 f d,t2 f e,t2 e f,t2 d f,Z+[4] e,Z[4] d,Z+[4] f,t2 d e,t2 f e,t2 f d,t2 e f,Z[4] e,H e,t2 e b,Z[4] e,Z+[4] b,t2 b e,H b,t2 c a,t2 b a,t2 b c,Z[4] b,Z+[4] c,Z[4] a,t2 c b,t2 a b,t2 a c,t2 b c,t2 b a,Z+[4] b,t2 c b,H c,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,t2 e f,t2 f d,Z+[4] e,Z[4] f,Z+[4] d,t2 f e,t2 d e,t2 d f,t2 e f,t2 e d,Z[4] e,t2 f e,H e,t2 b a,t2 a b,t2 b a",
   "H e,t2 a e,Z[4] a,Z[4] b,Z+[4] e,t2 e a,t2 b e,t2 a e,t2 a b,Z[4] a,Z+[4] b,Z+[4] e,t2 e a,t2 e b,t2 a e,t2 a b,Z[4] a,t2 b a,t2 e a,H e",
   "H d,t2 b a,t2 d a,t2 d b,t2 d e,t2 b d,t2 a d,Z[4] e,Z+[4] b,Z[4] a,Z+[4] d,Z[4] c,t2 b e,t2 a e,t2 d e,t2 a b,t2 d b,t2 d a,t2 b d,t2 d b,H b,H e,t2 b c,t2 e b,t2 b e,Z+[4] b,Z+[4] c,Z[4] e,t2 c b,t2 e b,t2 b e,t2 b c,Z[4] b,Z[4] c,Z+[4] e,t2 e b,t2 e c,t2 c e,H b,t2 a d,t2 b d,t2 b a,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 a b,t2 b a,H a,H e,t2 b d,t2 d b,t2 b d,t2 d a,t2 a d,t2 d a",
   "H e,H f,t2 e a,t2 f d,t1 d,Z+[4] a,Z[4] f,Z+[4] c,Z[4] d,t2 e a,t2 d f,t2 f d,t2 f c,t2 f d,t1 d,H d,t2 b d,t2 a d,t1 f,t1 c,Z[4] a,Z[4] b,Z+[4] d,Z[4] f,Z[4] c,Z[4] e,t2 b a,t2 f b,t2 c b,t2 e b,t2 f d,t2 c d,t2 e d,t2 c f,t2 e f,t2 c e,t2 f c,t2 b d,t2 a f,Z+[4] b,Z+[4] a,Z[4] f,Z[4] d,Z+[4] c,Z+[4] e,t2 f b,t2 d b,t2 d a,t2 d f,t2 e f,t2 e c,t2 f e,t2 f c,t2 a e,t2 a c,t2 a f,t2 b d,Z[4] a,Z+[4] b,t2 b a,t1 f,H b,t2 b f,t1 f,Z[4] b,Z[4] f,t2 f b,t1 b,t1 c,t1 f,H f,t2 e c,t2 f c,t2 f e,t1 c,Z+[4] e,Z[4] f,Z+[4] c,t2 f e,t2 c e,t2 e c,Z[4] e,t2 f e,H f,t2 f b,t1 b,Z[4] f,Z[4] b,t2 b f,t1 f,t1 b,H b,t2 a d,t2 b d,t2 b a,Z[4] b,Z+[4] a,Z[4] d,t2 a b,t2 d b,t2 d a,t2 b a,t2 b d,Z+[4] b,t2 a b,H a,t2 a f,t1 f,Z[4] a,Z[4] f,t2 f a,t1 e,t1 f,H f,t2 f e,t2 f c,t1 e,Z+[4] f,Z[4] c,Z+[4] e,t2 c f,t2 e f,t2 e c,t2 f c,t2 f e,Z[4] f,t2 e f,t2 c f,Z[2] e,H e,t1 b,Z b,t1 d,Z d,t2 b d,t2 d b,t2 b d,t2 d f,t2 f d,t2 d f,t2 f c,t2 c f,t2 f c,t2 c a,t2 a c,t2 c a",
   "H e,t2 a e,Z[4] a,Z[4] b,Z+[4] e,Z[4] c,Z[4] d,t2 b a,t2 e a,t2 e b,t2 d c,t2 e d,t2 b d,t2 a d,t2 a e,Z+[4] a,Z+[4] e,Z[4] b,Z+[4] d,Z+[4] c,t2 b a,t2 b e,t2 c e,t2 c b,t2 c d,t2 e c,t2 e b,t2 a b,Z+[4] d,Z[4] e,t2 c d,t2 c e,Z[2] c,H c,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c"
  },
    {"",
   "H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 f c,H f,t2 f a,t2 b f,t2 a b,Z[4] a,Z+[4] b,Z[4] f,t2 b a,t2 f a,t2 f b,t2 a f,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 h d,H c,t2 c h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 c d,t2 c h,t2 h d,t2 c h,H h,t2 h e,t2 h g,Z+[4] h,Z[4] g,Z+[4] e,t2 g h,t2 e h,t2 e g,t2 h g,t2 h e,Z[4] h,t2 g h,H h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 d c,t2 c d,H d,t2 d a,Z[4] d,Z+[4] a,t2 a d,t2 d a,t2 a d,t2 c g,t2 d a,H d,t2 f b,t2 d b,t2 d f,Z[4] d,Z+[4] f,Z[4] b,t2 f d,t2 b d,t2 b f,t2 d f,t2 d b,Z+[4] d,t2 f d,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,t2 g c,H a,t2 g a,t2 c a,t2 c g,t2 a g,t2 a c,Z[4] c,Z+[4] a,t2 g c,t2 g a,t2 a c,t2 g a,H a,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 d c,t2 c d,t2 d c,t2 c f,t2 f c,t2 c f,t2 f h,t2 h f,t2 f h,t2 h a,t2 a h,t2 h a",
   "H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,H c,t2 c a,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,H e,H f,t2 e d,t2 f e,t2 e f,Z+[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 e d,Z[4] e,t2 f e,t2 d e,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,H a,t2 c b,t2 a b,t2 a c,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 c a,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,H f,t2 f e,t2 e d,Z+[4] f,Z[4] e,Z+[4] d,t2 e f,t2 d f,t2 d e,t2 f e,t2 f d,Z[4] f,t2 e f,H f",
   "H b,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z[4] e,t2 b d,t2 d b,t2 b d,t2 d b,H d,t2 d a,t2 a c,Z[4] a,Z+[4] c,t2 d a,t2 d c,t2 a c,H d,t2 b d,t2 d b,Z[4] b,Z+[4] d,t2 d b,t2 c g,t1 c,H d,H f,t2 d c,t2 e c,t2 e d,t2 f d,t2 h d,t2 g e,t2 g f,t2 h g,t2 e f,t2 e g,t2 d h,t2 d g,t2 c f,t2 c g,t2 c d,t2 c e,t1 f,t1 c,t1 e,t1 d,t1 g,Z+[4] f,Z[4] h,Z+[4] c,Z[4] e,Z+[4] d,Z+[4] g,t2 c f,t2 g f,t2 c h,t2 g h,t2 g d,t2 c e,t2 h d,t2 h e,t2 h g,t2 h c,t2 f e,t2 f g,t2 f c,t2 g f,t2 g h,t2 f h,H c,t2 c b,t2 h f,Z[4] c,Z+[4] b,t2 b c,t2 g f,t2 f g,t2 h g,t2 h f,H b,t2 b a,t2 f h,t2 f g,t2 a f,Z+[4] a,Z[4] f,t2 b a,t2 h f,t2 b f,t2 a f,t2 g h,t2 f h,t1 f,H b,t2 c b,t2 h f,t2 f h,t2 b c,t1 f,Z[4] c,Z+[4] b,t2 b c,H b,t2 h f,t2 b f,t2 b g,t2 b h,t1 g,Z+[4] f,Z+[4] b,Z[4] h,Z+[4] g,t2 g f,t2 h b,t2 g h,t2 b h,t2 f g,t2 f b,t1 c,H d,t2 d c,t1 c,Z[4] d,Z[4] c,t2 c d,t2 d c,t2 c d,H h,t1 f,Z[2] h,t2 b f,t2 f b,t1 e,t1 h,H h,t2 g a,t2 h a,t2 g e,t2 h g,t2 a e,t1 e,Z+[4] h,Z[4] a,Z[4] g,Z+[4] e,t2 g h,t2 g a,t2 g e,t2 a e,t2 h e,t2 h g,t2 h a,H g,Z[2] g,t2 d c,t1 g,t1 f,H g,t2 c g,t2 d g,t2 c d,t2 b f,t2 g d,t2 g c,t1 f,Z[4] g,Z+[4] c,t2 c g,t2 d c,t2 g c,t2 d c,t2 g c,t2 g d,t2 b f,H c,t2 b c,t2 b f,t2 c f,t2 c b,t1 b,Z[4] c,Z+[4] b,t2 f c,t2 f b,t2 c b,Z+[2] f,t2 b c,t2 b e,t2 c e,H e,H f,t2 d g,t2 f d,t1 f,Z+[4] d,Z+[4] f,t2 f d,t2 d g,H g,Z[2] g,t1 g,H g,t2 g b,t2 a g,t2 g a,t2 g h,Z[4] h,Z+[4] a,Z+[4] b,Z+[4] g,t2 g h,t2 b a,t2 g b,t2 b g,t2 a g,t2 a b,t2 h b,t2 g b,t2 h a,t2 b g,H b,Z[2] b,t1 b,H b,t2 b d,t1 d,Z[4] b,Z[4] d,t2 d b,t2 b d,t2 d b,t2 b d,t2 b f,t1 h,t1 b,H b,H h,Z[2] h,H h,Z[2] h,H h,Z+[2] h,t2 f c,t2 a f,t2 d f,t2 g b,t1 a,t1 e,t1 d,t2 b h,t2 h b,t2 b g,t2 g b,t2 b g,t2 g d,t2 d g,t2 g d,t2 d a,t2 a d,t2 d a,t2 f e,t2 e f,t2 f e,t2 e c,t2 c e,t2 e c",
   "H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 b d,t2 d b,H b,H f,t2 b c,t2 f b,t2 b f,Z+[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b c,Z[4] b,t2 f b,t2 c b,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 f a,H a,t2 a b,t2 c b,t2 b c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,H a,t2 f a,t2 a f,t2 f a,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b",
   "t2 d e,H d,t2 e c,t2 c e,Z[4] e,Z[4] d,Z+[4] c,t2 d e,t2 c e,t2 c d,t2 e c,Z+[4] e,Z+[4] c,Z[4] d,t2 d e,t2 d c,t2 c d,t2 e d,H d,Z[2] c,H e,t2 b a,t2 e a,t2 e b,Z[4] e,Z+[4] b,Z[4] a,t2 b e,t2 a e,t2 a b,t2 e b,t2 e a,Z+[4] e,t2 e b,H e,H f,t2 d e,t2 f d,t2 d f,t2 e d,t2 e f,Z+[4] d,Z+[4] e,Z[4] f,t2 e d,t2 f d,t2 d e,Z[4] d,t2 f d,t2 e d,H f,t2 f a,t2 a b,Z[4] f,Z+[4] a,Z[4] b,t2 a f,t2 b f,t2 b a,t2 f a,t2 f b,Z+[4] f,t2 f a,H f,t2 d f,t2 d c,t2 d e,t2 e d,t2 f c,t2 f e,t2 f d,Z[4] f,Z+[4] d,Z[4] e,Z+[4] c,t2 d f,t2 e f,t2 c f,t2 e d,t2 c e,t2 f c,t2 f e,H e,H d,t2 d c,t2 f d,t2 d f,Z[4] f,Z+[4] d,Z+[4] c,t2 d f,t2 c f,t2 d c,t2 f c,t2 f d,Z[4] f,t2 d f,t2 c f,H c,t2 c f,t2 a e,t2 e a,t2 a e,t2 e f,t2 f e,t2 e f,t2 f a,t2 a f,t2 f a,t2 d c,t2 c d,t2 d c",
   "H d,t2 g d,t2 g e,t2 h e,t2 e h,t2 d h,t2 d g,t2 d e,t2 c e,t2 c d,Z[4] g,Z+[4] h,Z[4] c,Z+[4] d,Z[4] e,t2 h g,t2 c e,t2 c d,t2 h e,t2 h d,t2 g d,t2 g h,Z[2] g,Z b,H h,H f,t2 f g,t1 f,Z+[4] g,Z+[4] f,t2 f g,t2 g f,t1 e,t1 h,H e,t2 e h,t1 h,Z[4] e,Z[4] h,t2 h e,t1 b,t1 c,H d,t2 d c,t1 c,Z[4] d,Z[4] c,t2 c d,t1 c,H c,t2 c a,t2 a b,t1 b,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 a b,Z+[4] a,t2 c a,H c,t2 c d,Z[4] d,Z+[4] c,t2 c d,H c,t2 e h,t2 c e,t1 c,t1 h,Z[4] c,Z[4] e,t2 e c,t2 e h,t2 c h,t2 c e,t1 e,t1 g,H e,t2 f e,t2 f g,t2 e g,t2 e f,t1 g,Z+[4] f,Z[4] e,Z+[4] g,t2 e f,t2 g f,t2 g e,t2 f e,t2 f g,Z[4] f,t2 g f,t2 e f,H e,t2 e c,t2 e h,t2 c h,Z[4] e,Z+[4] c,t2 c e,t2 e c,t2 h c,t2 e c,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t1 a,H d,t2 d a,t2 d b,t1 a,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 b a,t2 d a,t2 d b,Z+[4] d,t2 b d,t2 a d,H a,t2 a h,Z[4] a,Z+[4] h,t2 h a,t2 a h,t2 h a,t2 a h,H a,t2 e a,t2 e c,t2 a e,t1 c,Z[4] e,Z+[4] a,t2 a e,t2 e a,t2 a e,t2 e c,t2 e a,t1 b,H e,H h,t2 h b,t2 h d,t1 b,Z[4] h,Z[4] d,Z[4] b,t2 d h,t2 b h,t2 d b,t2 h b,t2 h d,Z[4] h,t2 d h,t2 b h,t2 d h,t2 h b,t1 b,H b,t2 g a,t2 b g,t2 b a,t1 a,Z+[4] g,Z[4] b,Z+[4] a,t2 b g,t2 a g,t2 g a,Z[4] g,t2 b g,t2 g c,t1 h,H b,t2 d h,t2 b h,t2 h d,t1 h,t1 d,Z[4] b,Z[4] h,Z+[4] d,t2 h b,t2 d b,t2 h d,t2 b d,t2 b h,Z+[4] b,t2 d b,t2 b h,t2 h d,t1 d,t1 g,H d,t2 d a,t2 d f,t2 c d,t2 c g,t2 a c,t1 d,t1 a,Z[4] c,Z[4] f,Z+[4] d,Z[4] a,t2 f c,t2 d c,t2 a c,t2 d f,t2 a d,t2 d a,t2 f a,t2 c a,t2 c f,Z+[2] a,t2 f g,H d,t1 a,H f,t2 f c,t2 f a,t1 a,Z[4] f,Z+[4] c,Z[4] a,t2 c f,t2 a f,t2 c a,t2 f a,t2 f c,Z+[4] f,t2 c f,t2 a f,H a,H h,Z[2] h,H h,Z[2] h,H h,Z+[2] h,t1 h,H h,Z[2] h,H h,Z[2] h,H h,Z[2] h,Z b,t2 h e,t2 e h,t2 h e,t2 e f,t2 f e,t2 e f,t2 f d,t2 d f,t2 f d,t2 d a,t2 a d,t2 d a",
   "H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,t1 c,H f,t2 f c,t1 c,Z[4] f,Z[4] c,t2 c f,t2 f c,t2 c f,t2 f c,t1 f,H f,t2 f a,t2 b f,t2 a b,Z[4] a,Z+[4] b,Z[4] f,t2 b a,t2 f a,t2 f b,t2 a f,Z+[4] a,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t2 h d,t1 c,H c,t2 c h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 c d,t2 c h,t2 h d,t2 c h,H h,t2 h e,t2 h g,Z+[4] h,Z[4] g,Z+[4] e,t2 g h,t2 e h,t2 e g,t2 h g,t2 h e,Z[4] h,t2 g h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 c d,t1 a,H c,t2 c a,t1 a,Z[4] c,Z[4] a,t2 a c,t2 c a,t2 a c,t2 d g,t2 c a,t1 c,H c,t2 f b,t2 c b,t2 c f,Z[4] c,Z+[4] f,Z[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 f c,t1 a,H f,t2 f a,t1 a,Z[4] f,Z[4] a,t2 a f,t2 g d,t1 a,H a,t2 g a,t2 d a,t2 d g,t2 a g,t2 a d,Z[4] d,Z+[4] a,t2 g d,t2 g a,t2 a d,t2 g a,H a,H d,t2 b c,t2 d c,t2 d b,Z[4] d,Z+[4] b,Z[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z+[4] d,t2 d b,H d,t2 f d,t2 h d,t2 d f,t2 d h,Z+[4] f,Z[4] d,Z+[4] h,t2 d f,t2 h f,t2 h d,t2 f h,Z[4] f,H f,t2 f c,t2 c b,Z[4] f,Z+[4] c,Z[4] b,t2 c f,t2 b f,t2 b c,t2 f c,t2 f b,Z+[4] f,t2 f c,H f,t2 d h,t2 h d,t2 f h,t2 f d,Z+[4] f,Z[4] d,Z+[4] h,t2 d f,t2 h f,t2 h d,t2 f d,t2 f h,Z[4] f,t2 d f,H f,H c,Z[2] c,Z b,Z h,H c,Z[2] c,H c,Z[2] c,t1 b,t1 h,t2 c h,t2 h c,t2 c h,t2 h a,t2 a h,t2 h a",
   "H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 b d,t2 d b,H b,H f,t2 b c,t2 f b,t2 b f,Z+[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b c,Z[4] b,t2 f b,t2 c b,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 f a,H a,t2 a b,t2 c b,t2 b c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,H d,t2 d f,t2 c f,t2 c d,t2 d c,Z[4] c,Z+[4] d,Z[4] f,t2 d c,t2 f c,t2 f d,t2 c d,t2 c f,Z+[4] c,t2 d c,t2 c d,H d,t2 e d,t2 a d,t2 d e,t2 d a,Z+[4] e,Z[4] d,Z+[4] a,t2 d e,t2 a e,t2 a d,t2 e a,Z[4] e,H e,t2 e c,t2 f c,t2 f e,t2 e f,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 e f,t2 f e,H e,t2 a e,t2 e a,t2 e d,Z+[4] a,Z[4] e,Z+[4] d,t2 e a,t2 d a,t2 d e,t2 a e,t2 a d,Z[4] a,t2 e a,H a,t2 f a,t2 a f,t2 f a,t2 e d,t2 d e,t2 e d,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b",
   "H d,t2 a b,Z[4] a,Z[4] d,Z+[4] b,t2 d a,t2 b a,t2 b d,t2 a b,Z+[4] a,Z+[4] b,Z[4] d,t2 d a,t2 d b,t2 b d,t2 a d,H d,H c,t2 b a,t2 c a,t2 c b,Z[4] c,Z+[4] b,Z[4] a,t2 b c,t2 a c,t2 a b,t2 c b,t2 c a,Z+[4] c,t2 c b,H c,H f,t2 d c,t2 d f,t2 c f,t2 c d,Z+[4] f,Z+[4] c,Z[4] d,t2 c f,t2 d f,t2 f c,Z[4] f,t2 d f,t2 c f,H d,t2 d a,t2 a b,Z[4] d,Z+[4] a,Z[4] b,t2 a d,t2 b d,t2 b a,t2 d a,t2 d b,Z+[4] d,t2 d a,H d,t2 f c,t2 d c,t2 d f,Z+[4] d,Z[4] f,Z+[4] c,t2 f d,t2 c d,t2 c f,t2 d f,t2 d c,Z[4] d,t2 f d,Z[2] b,H a,t2 a c,t2 c f,Z[4] a,Z+[4] c,Z[4] f,t2 c a,t2 f a,t2 f c,t2 a c,t2 a f,Z+[4] a,t2 a c,H a,t2 e a,t2 d a,t2 a e,t2 a d,Z+[4] e,Z[4] a,Z+[4] d,t2 a e,t2 d e,t2 d a,t2 e d,Z[4] e,H e,t2 e c,t2 f c,t2 f e,t2 e f,Z[4] f,Z+[4] e,Z[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z+[4] f,t2 e f,t2 f e,H e,t2 a e,t2 d e,t2 a b,t2 d b,t2 e a,t2 e b,t2 e d,Z[4] a,Z+[4] e,Z[4] d,Z+[4] b,t2 e a,t2 d a,t2 b a,t2 d e,t2 b d,t2 a b,t2 a d,H d,H c,t2 c b,t2 c a,Z[4] c,Z+[4] a,Z+[4] b,t2 a c,t2 b c,t2 a b,t2 c b,t2 c a,Z[4] c,t2 a c,t2 b c,H b,t2 a c,t2 c a,t2 a c,t2 c f,t2 f c,t2 c f,t2 f d,t2 d f,t2 f d,t2 d b,t2 b d,t2 d b,t2 b a,t2 a b,t2 b a",
   "H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,t1 d,H c,t2 c a,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,H e,H f,t2 e d,t2 e f,t1 d,Z+[4] f,Z[4] e,Z[4] d,t2 e f,t2 d f,t2 f d,Z+[4] f,t2 e f,t2 d f,H e,t2 e a,Z[4] e,Z+[4] a,t2 a e,t1 f,H a,t2 c b,t2 a b,t2 a c,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 c a,H c,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,t2 e f,t2 d e,t2 e d,t1 f,Z+[4] d,Z[4] e,Z+[4] f,t2 e d,t2 f d,t2 f e,t2 d e,t2 d f,Z[4] d,t2 f d,t2 e d,H a,t2 d c,t2 a c,t2 a d,Z[4] a,Z+[4] d,Z[4] c,t2 d a,t2 c a,t2 c d,t2 a d,t2 a c,Z+[4] a,t2 a d,H a,t2 f a,t2 f e,t2 e f,t2 a e,t2 a f,Z+[4] a,Z[4] f,Z+[4] e,t2 f a,t2 e a,t2 e f,t2 a e,Z[4] a,H a,t2 c d,t2 a d,t2 a c,Z[4] a,Z+[4] c,Z[4] d,t2 c a,t2 d a,t2 d c,t2 a c,t2 a d,Z+[4] a,t2 a c,H a,t2 f e,t2 e f,t2 a e,t2 a f,Z+[4] a,Z[4] f,Z+[4] e,t2 f a,t2 e a,t2 e f,t2 a f,t2 a e,Z[4] a,t2 f a,H a,t2 f a,t2 a f,t2 f a",
   "H e,t2 e c,t2 c e,t2 b e,Z[4] e,Z[4] b,Z+[4] c,t2 b e,t2 c e,t2 e c,Z[4] e,Z+[4] c,t2 c b,t2 e c,t2 c e,t1 d,H c,t2 c a,t2 b c,t2 a b,Z[4] a,Z+[4] b,Z[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,H e,H f,t2 e f,t2 e d,t1 d,Z+[4] f,Z[4] e,Z[4] d,t2 e f,t2 f a,t2 f d,Z+[2] f,Z+[4] f,Z+[4] d,Z[4] a,t2 a f,t2 a d,t2 e d,t2 f a,t2 f d,t2 f c,t2 a c,t2 a f,t2 a d,t2 f d,t2 c d,t2 c f,H e,t2 f c,t2 d f,t2 e d,t2 f d,t2 c d,Z[4] e,Z+[4] d,t2 d e,t2 e d,t2 d e,t2 d c,t2 c f,t2 e d,t2 e f,t2 e c,H e,t2 a b,t2 e b,t2 e a,Z[4] e,Z+[4] a,Z[4] b,t2 a e,t2 b e,t2 b a,t2 e a,t2 e b,Z+[4] e,t2 a e,H a,t2 d a,t2 d c,t2 d f,t2 c f,t2 a d,Z[4] d,Z+[4] a,t2 a d,t2 c d,t2 c a,t2 d a,t2 c d,t2 c f,t2 d a,t2 d f,t2 d c,t1 d,t1 f,H a,t2 c d,t2 a c,t2 a f,t1 f,Z+[4] a,Z[4] c,Z+[4] f,t2 c a,t2 f a,t2 f c,t2 a c,t2 a f,Z[4] a,t2 c a,t2 a d,t2 d a,t2 f a,t2 f d,H a,t1 d,Z e,t1 e,t1 f,H e,Z[2] e,H e,Z[2] e,H e,Z[2] e,Z b,t2 e c,t2 c e,t2 e c,t2 c f,t2 f c,t2 c f,t2 f a,t2 a f,t2 f a",
   "H e,t2 e b,t2 h e,t2 h g,t2 e g,t2 e h,t2 b g,t2 a e,t2 a g,Z[4] a,Z[4] h,Z+[4] b,Z+[4] g,Z+[4] e,t2 b a,t2 b h,t2 b g,t2 h e,t2 h g,t2 h b,t2 a e,t2 a g,Z[4] a,t2 h a,t2 b a,H b,H d,t2 d a,t2 h a,t2 h g,t2 d h,t2 a g,Z[4] d,Z+[4] h,Z[4] a,Z+[4] g,t2 h d,t2 a h,t2 a g,t2 h a,t2 d g,t2 d a,t2 a h,t2 h a,H h,H f,t2 f h,t2 f c,t2 f e,t2 c f,t2 h e,t2 h c,t2 h f,Z+[4] h,Z[4] f,Z+[4] c,Z[4] e,t2 f h,t2 c f,t2 c e,t2 h e,t2 h c,H c,t2 d c,t2 a c,t2 d e,t2 a d,t2 c d,t2 c a,t2 c e,Z[4] d,Z+[4] a,Z[4] c,Z+[4] e,t2 a d,t2 c a,t2 c e,t2 a c,t2 d e,t2 d c,t2 a c,H c,t2 c b,t2 f e,t2 f h,t2 c h,t2 h f,t2 b e,Z[4] f,Z+[4] h,Z+[4] b,Z[4] e,t2 c f,t2 c h,t2 c b,t2 c e,t2 b e,t2 h e,t2 f e,t2 f h,H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,H g,t2 g f,Z[4] g,Z+[4] f,t2 f g,t2 g f,t2 f g,t2 g f,H g,t2 g d,t2 a d,t2 a g,t2 d a,Z[4] g,Z+[4] d,Z[4] a,t2 d g,t2 a g,t2 a d,t2 g a,Z+[4] g,H g,t2 g f,Z[4] g,Z+[4] f,t2 f g,H f,t2 e c,t2 f c,t2 c e,Z[4] e,Z+[4] c,t2 c e,H c,t2 c b,t2 h b,t2 b h,Z+[4] c,Z[4] h,Z+[4] b,t2 h c,t2 b c,t2 b h,t2 c h,t2 c b,Z[4] c,t2 h c,H h,t2 h e,Z[4] h,Z+[4] e,t2 e h,t2 h e,t2 f e,H f,t2 g f,t2 f g,Z[4] g,Z+[4] f,t2 f g,t2 h e,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,H a,t2 a g,Z[4] a,Z+[4] g,t2 g a,H g,t2 h g,t2 e g,t2 h e,t2 g e,t2 g h,Z[4] h,Z+[4] g,t2 g h,H g,Z[2] d,H f,t2 f h,Z[4] f,Z+[4] h,t2 h f,t1 d,H h,t2 h d,t2 h a,t1 d,Z[4] a,Z+[4] h,Z+[4] d,t2 h a,t2 d a,t2 a d,Z[4] a,t2 d a,t2 h a,H h,t2 h f,Z[4] h,Z+[4] f,t2 f h,t2 h f,t2 f h,t2 h f,t1 b,H h,t2 c h,t2 h b,t2 h c,t1 b,Z+[4] h,Z[4] c,Z+[4] b,t2 c h,t2 b h,t2 h b,Z[4] h,t2 c h,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,t2 c f,t2 f c,t2 c f,t1 a,H c,t2 c d,t2 d a,t1 a,Z[4] c,Z+[4] d,Z+[4] a,t2 d c,t2 a c,t2 a d,t2 c d,t2 c a,Z[4] c,t2 d c,H d,t2 d f,Z[4] d,Z+[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 c,H d,t2 b d,t2 b c,t2 d h,t2 d b,t2 d c,t1 c,t1 b,t1 h,Z[4] d,Z+[4] c,Z+[4] b,Z[4] h,t2 c d,t2 b d,t2 h d,t2 b c,t2 h b,t2 b h,t2 c h,t2 d h,t2 d c,H b,H c,t2 c d,t2 c h,Z[4] c,Z+[4] d,Z+[4] h,t2 d c,t2 h c,t2 d h,t2 c h,t2 c d,Z[4] c,t2 d c,t2 h c,H h,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 h e,t2 e h,t2 h e,t2 d f,t2 f d,t2 d f,t2 f b,t2 b f,t2 f b,t2 b c,t2 c b,t2 b c,t2 c a,t2 a c,t2 c a,t2 h g,t2 g h,t2 h g",
   "H a,t2 g d,t2 d g,t2 b g,t2 a d,t2 a g,t2 a b,Z[4] a,Z+[4] b,Z[4] g,Z+[4] d,t2 b a,t2 g b,t2 g d,t2 b g,t2 a d,t2 a g,t2 g b,t2 b g,H b,H f,t2 e b,t2 f b,t2 e d,t2 f d,t2 b e,t2 b d,t2 b f,Z+[4] e,Z[4] b,Z+[4] f,Z[4] d,t2 b e,t2 f b,t2 f d,t2 e d,t2 e f,H f,t2 f a,t2 f d,t2 g d,t2 a g,Z[4] f,Z+[4] a,Z[4] g,Z+[4] d,t2 a f,t2 g a,t2 g d,t2 a g,t2 f d,t2 f g,t2 a g,H g,t2 b d,t2 e b,t2 g d,t2 g b,t2 g e,Z[4] g,Z[4] e,Z+[4] b,Z[4] d,t2 e g,t2 b e,t2 b d,t2 e b,t2 g d,t2 g b,H h,t2 h a,Z[4] h,Z+[4] a,t2 a h,t2 h a,t2 a h,t1 c,H d,t2 d c,t1 c,Z[4] d,Z[4] c,t2 c d,t2 d c,t2 c d,t2 d c,t1 d,H d,t2 f d,t2 f b,t2 b f,t2 d f,t2 d b,Z[4] b,Z+[4] f,Z[4] d,t2 f b,t2 d b,t2 d f,t2 b d,Z+[4] b,t1 c,H b,t2 b c,t1 c,Z[4] b,Z[4] c,t2 c b,t2 h a,t1 c,H c,t2 c h,t2 h a,Z[4] h,Z+[4] a,t2 c h,t2 c a,t2 a h,t2 c a,H a,t2 a g,t2 g e,Z+[4] a,Z[4] g,Z+[4] e,t2 g a,t2 e a,t2 e g,t2 a g,t2 a e,Z[4] a,t2 g a,H g,t2 h g,t2 g h,Z[4] h,Z+[4] g,t2 g h,t2 h g,t2 g c,t2 c g,H g,t2 g b,t1 g,Z[4] b,Z[4] g,t2 g b,t2 h c,t1 g,H g,t2 g d,t2 f d,t2 d f,Z[4] g,Z+[4] f,Z[4] d,t2 f g,t2 d g,t2 d f,t2 g f,t2 g d,Z+[4] g,t2 f g,H f,t2 f b,t1 f,Z[4] b,Z[4] f,t2 f b,t1 f,H f,t2 f h,t2 c h,t2 c f,t2 f c,Z[4] f,Z+[4] h,t2 h f,H h,H f,t2 f b,t2 f g,Z[4] f,Z+[4] b,Z+[4] g,t2 b f,t2 g f,t2 b g,t2 f g,t2 f b,Z[4] f,t2 b f,t2 g f,t2 b f,t2 f b,Z+[2] b,Z+[2] f,Z d,t2 f b,t2 b f,H g,t2 g e,t2 a g,t2 g a,Z[4] a,Z+[4] e,Z+[4] g,t2 e a,t2 g a,t2 e g,t2 a g,t2 a e,Z[4] a,t2 e a,t2 g a,H e,H g,t2 g b,t2 g f,Z[4] g,Z+[4] f,Z+[4] b,t2 f g,t2 b g,t2 f b,t2 g b,t2 g f,Z[4] g,t2 f g,t2 b g,H b,H f,Z[2] f,H f,Z[2] f,H f,Z[2] f,t2 f e,t2 e f,t2 f e,t2 e a,t2 a e,t2 e a,t2 b d,t2 d b,t2 c g,t2 g c",
   "H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 f c,t1 a,H f,t2 b a,t2 f a,t2 a b,t1 a,t1 b,Z+[4] f,Z+[4] a,Z[4] b,t2 a f,t2 b f,t2 a b,t2 f b,t2 f a,Z[4] f,t2 b f,t2 f a,t1 f,H b,t2 c b,t2 b c,Z[4] c,Z+[4] b,t2 b c,t2 h d,H b,t2 b h,t2 h d,Z[4] h,Z+[4] d,t2 b h,t2 b d,t2 d h,t2 b d,H d,t2 d e,t2 d g,Z+[4] d,Z[4] g,Z+[4] e,t2 g d,t2 e d,t2 e g,t2 d g,t2 d e,Z[4] d,t2 g d,H g,t2 g h,Z[4] g,Z+[4] h,t2 h g,t2 g h,t2 b h,H b,t2 b c,Z[4] b,Z+[4] c,t2 c b,t2 b c,t2 c b,t2 h g,t2 b c,t1 a,H b,t2 b f,t2 b a,t1 f,t1 a,Z[4] b,Z[4] f,Z+[4] a,t2 f b,t2 a b,t2 a f,t2 b f,t2 b a,Z+[4] b,t2 a b,t2 f b,t2 a b,t1 b,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 g h,H c,t2 g c,t2 h c,t2 h g,t2 c g,t2 c h,Z[4] h,Z+[4] c,t2 g h,t2 g c,t2 c h,t2 g c,H c,H b,t2 e b,t2 b e,t2 b h,Z[4] e,Z+[4] b,Z[4] h,t2 b e,t2 h e,t2 h b,t2 e b,t2 e h,Z+[4] e,t2 e b,H e,t2 e f,t2 d f,t2 d e,t2 f d,Z+[4] e,Z[4] f,Z+[4] d,t2 f e,t2 d e,t2 d f,t2 e d,Z[4] e,H e,t2 h e,t2 e h,t2 e b,Z[4] h,Z+[4] e,Z[4] b,t2 e h,t2 b h,t2 b e,t2 h e,t2 h b,Z+[4] h,t2 h e,H h,t2 h d,t2 d f,Z+[4] h,Z[4] d,Z+[4] f,t2 d h,t2 f h,t2 f d,t2 h d,t2 h f,Z[4] h,t2 d h,t1 a,H e,t2 e a,t2 e d,t1 a,Z[4] e,Z[4] d,Z[4] a,t2 d e,t2 a e,t2 a d,t2 e d,t2 e a,Z[4] e,t2 a e,t2 d e,t2 a e,t2 d e,t2 d a,t2 e a,t2 e d,t1 f,t1 e,t1 a,H e,t2 h f,t2 e f,t2 e h,t1 f,Z+[4] h,Z[4] e,Z+[4] f,t2 e h,t2 f h,t2 h f,Z[4] h,t2 e h,t1 d,H e,t2 e a,t2 e d,t1 e,Z[4] a,Z[4] d,Z[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z[4] a,t2 d a,t2 a d,t2 a e,t1 h,t1 e,t1 d,H d,t2 d f,t2 d h,t1 h,Z+[4] d,Z[4] f,Z+[4] h,t2 f d,t2 h d,t2 h f,t2 d f,t2 d h,Z[4] d,t2 h d,t2 f d,t1 a,H h,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t1 a,Z a,Z e,t2 e b,t2 b e,t2 e b,t2 d f,t2 f d,t2 d f,t2 f h,t2 h f,t2 f h,t2 h c,t2 c h,t2 h c",
   "H f,t2 f h,t2 b g,t2 b h,t2 a f,t2 a g,Z[4] a,Z[4] b,Z+[4] h,Z+[4] g,Z+[4] f,Z+[4] e,t2 f a,t2 e a,t2 f b,t2 f h,t2 e h,t2 e g,t2 b h,t2 b g,t2 b f,t2 a h,t2 a g,t2 a e,Z[4] b,Z[4] a,t2 f b,t2 e b,t2 e a,t2 d f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H g,t2 g c,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g b,t2 f b,t2 f g,t2 b f,Z[4] f,Z+[4] b,Z[4] g,t2 b f,t2 g f,t2 g b,t2 f g,Z+[4] f,H f,t2 c f,t2 f c,Z[4] c,Z+[4] f,t2 f c,t2 h d,H f,t2 f h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 f d,t2 f h,t2 h d,t2 f h,H h,t2 h a,t2 a e,Z+[4] h,Z[4] a,Z+[4] e,t2 a h,t2 e h,t2 e a,t2 h a,t2 h e,Z[4] h,t2 a h,H a,t2 a d,Z[4] a,Z+[4] d,t2 d a,t2 a d,t2 d f,t2 f d,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t2 d c,t2 c d,t2 d c,H d,t2 g d,t2 d g,t2 d b,Z[4] g,Z+[4] d,Z[4] b,t2 d g,t2 b g,t2 b d,t2 g d,t2 g b,Z+[4] g,t2 d g,H d,t2 c d,t2 d c,Z[4] c,Z+[4] d,t2 d c,t2 a f,H d,t2 d a,t2 f a,t2 f d,t2 d f,Z[4] d,Z+[4] a,t2 a d,H a,H d,t2 d g,t2 b g,t2 b d,t2 d b,Z[4] b,Z+[4] d,Z[4] g,t2 d b,t2 g b,t2 g d,t2 b d,t2 b g,Z+[4] b,t2 d b,t2 b d,H d,t2 d c,t2 h d,t2 c h,Z+[4] d,Z[4] h,Z+[4] c,t2 h d,t2 c d,t2 c h,t2 d c,Z[4] d,H d,t2 d g,t2 g b,Z[4] d,Z+[4] g,Z[4] b,t2 g d,t2 b d,t2 b g,t2 d g,t2 d b,Z+[4] d,t2 d g,H d,t2 c d,t2 d c,t2 d h,Z+[4] c,Z[4] d,Z+[4] h,t2 d c,t2 h c,t2 h d,t2 c d,t2 c h,Z[4] c,t2 d c,H c,t2 d b,H g,Z[2] g,H g,Z[2] g,H g,Z[2] g,t2 d e,t2 e d,t2 d e,t2 g f,t2 f g,t2 g f,t2 f c,t2 c f,t2 f c,t2 c h,t2 h c,t2 c h,t2 h a,t2 a h,t2 h a,t2 e d,t2 d e,t2 e d",
   "H f,t2 f b,t2 g f,t2 f g,t2 e g,t2 b h,t2 a h,t2 a f,Z[4] g,Z+[4] e,Z+[4] b,Z+[4] a,Z[4] f,Z+[4] h,t2 e g,t2 b g,t2 a h,t2 a f,t2 b h,t2 b f,t2 g f,t2 g b,t2 a h,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 c a,t2 c g,Z[4] g,Z+[4] c,Z[4] a,t2 c g,t2 a g,t2 g a,Z+[4] g,t2 a g,t2 c g,H c,t2 c f,Z[4] c,Z+[4] f,t2 f c,H f,t2 f h,t2 d h,t2 d f,t2 f d,Z[4] f,Z+[4] h,t2 h f,H h,t2 h b,t2 e b,t2 h e,Z+[4] h,Z[4] e,Z+[4] b,t2 e h,t2 b h,t2 b e,t2 h e,t2 h b,Z[4] h,t2 e h,H e,t2 f e,t2 e f,Z[4] f,Z+[4] e,t2 e f,t2 f e,t2 d e,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t2 e f,H c,t2 c a,t2 a g,Z[4] c,Z+[4] a,Z[4] g,t2 a c,t2 g c,t2 g a,t2 c a,t2 c g,Z+[4] c,t2 a c,H a,t2 a d,Z[4] a,Z+[4] d,t2 d a,t2 a d,t2 d a,t2 f e,t2 a d,H a,t2 f a,t2 a f,t2 a e,Z[4] a,Z+[4] e,t2 f a,t2 f e,t2 e a,t2 f e,H e,H h,Z[2] g,t1 c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,t2 h f,t2 f h,t2 h f,t2 c d,t2 d c,t2 c d,t2 d a,t2 a d,t2 d a,t2 g h,t2 h g,t2 g h,t2 h e,t2 e h,t2 h e,t2 e b,t2 b e,t2 e b",
   "H f,t2 a f,Z[4] a,Z[4] b,Z+[4] f,t2 f a,t2 b f,t2 a f,t2 a b,Z[4] a,Z+[4] b,Z+[4] f,t2 f a,t2 f b,t2 a f,t2 a b,Z[4] a,t2 b a,t2 f a,H f",
   "H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 b d,t2 d b,H b,H f,t2 b c,t2 f b,t2 b f,Z+[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b c,Z[4] b,t2 f b,t2 c b,H f,t2 a d,t2 f d,t2 f a,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 a f,t2 f a,H a,t2 a b,t2 c b,t2 b c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,t1 f,H d,t2 d f,t2 c f,t2 c d,t2 d c,t1 f,Z[4] c,Z+[4] d,Z+[4] f,t2 d c,t2 f c,t2 f d,t2 c d,t2 c f,Z[4] c,t2 d c,t2 c d,t1 d,H d,t2 e d,t2 a d,t2 d e,t2 d a,Z+[4] e,Z[4] d,Z+[4] a,t2 d e,t2 a e,t2 a d,t2 e a,Z[4] e,t1 c,H e,t2 e c,t2 f c,t2 f e,t2 e f,t1 c,Z[4] f,Z+[4] e,Z+[4] c,t2 e f,t2 c f,t2 c e,t2 f e,t2 f c,Z[4] f,t2 e f,t2 f e,t1 e,H e,t2 a e,t2 e a,t2 e d,Z+[4] a,Z[4] e,Z+[4] d,t2 e a,t2 d a,t2 d e,t2 a e,t2 a d,Z[4] a,t2 e a,H a,t2 f a,t2 a f,t2 f a,t2 e d,t2 d e,t2 e d,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b",
   "H d,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z+[4] a,Z[4] c,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 a d,t2 b d,H b,H f,t2 c b,t2 b c,Z[4] c,Z[4] f,Z+[4] b,t2 f c,t2 b f,t2 c b,Z+[4] c,Z+[4] b,Z[4] f,t2 f c,t2 f b,t2 b f,t2 c f,H f,H b,t2 b a,t2 d b,t2 b d,Z[4] d,Z+[4] a,Z+[4] b,t2 a d,t2 b d,t2 b a,t2 d a,t2 d b,Z[4] d,t2 b d,t2 a d,H a,Z[2] b,t2 d b,Z+[2] b,Z[2] d,t2 b d,t2 d b,t2 b d,t2 d b,t2 b d,t2 d a,t2 a d,t2 d a",
   "H c,t2 d c,t2 c d,t2 a d,Z+[4] a,Z[4] d,Z+[4] c,Z[4] b,t2 d a,t2 b a,t2 b d,t2 b c,t2 a b,t2 a c,Z+[4] d,Z+[4] a,t2 a d,t2 b a,t2 a d,Z[2] b,Z[2] d,t2 c b,t1 a,H b,t2 b a,t2 a d,t1 d,Z+[4] a,Z+[4] b,Z+[4] d,t2 b a,t2 d a,t2 d b,t2 b d,Z+[4] a,t2 d a,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t1 a,H c,H f,t2 e c,t2 f c,t2 f e,t2 c e,t2 c f,Z+[4] c,Z[4] f,Z+[4] e,t2 f c,t2 e c,t2 e f,t2 c e,Z[4] c,t2 e c,t2 c f,t2 e c,t2 f c,H f,t2 f d,Z[4] f,Z+[4] d,t2 d f,H d,t2 d a,t2 a b,t1 b,Z[4] d,Z[4] a,Z[4] b,t2 a d,t2 b d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 b d,H b,t2 f b,t2 b f,Z[4] f,Z+[4] b,t2 b f,t1 a,H b,t2 b e,t2 c b,t2 b c,t1 e,t1 b,Z[4] e,Z+[4] b,Z[4] c,t2 b e,t2 c e,t2 c b,Z+[4] e,t2 c e,t2 e b,t2 b c,t1 c,H b,t2 b c,t1 c,Z[4] b,Z[4] c,t2 c b,t1 b,t1 c,H c,t2 c a,t2 c d,t1 d,Z+[4] a,Z+[4] c,Z+[4] d,t2 c a,t2 d a,t2 d c,t2 c d,Z+[4] a,t2 d a,H d,t2 d b,t1 b,Z[4] d,Z[4] b,t2 b d,t1 b,t1 f,H b,t2 e b,t2 b f,t2 b e,t1 f,Z+[4] b,Z[4] e,Z+[4] f,t2 e b,t2 f b,t2 b f,Z[4] b,t2 e b,t1 d,H e,t2 e d,t1 d,Z[4] e,Z[4] d,t2 d e,t2 e d,t2 d e,t2 e d,t1 c,t1 e,H e,t2 e c,t2 e a,t1 a,Z[4] e,Z[4] c,Z[4] a,t2 c e,t2 a e,t2 c a,t2 e a,t2 e c,Z[4] e,t2 a e,t1 d,t1 e,H a,t2 a d,t1 d,Z[4] a,Z[4] d,t2 d a,t1 d,t1 b,H d,t2 d b,t2 d f,t1 b,Z+[4] d,Z[4] f,Z+[4] b,t2 f d,t2 b d,t2 b f,t2 d f,t2 d b,Z[4] d,t2 b d,t2 f d,H e,t2 e d,t2 d a,t1 d,Z[4] e,Z+[4] a,Z+[4] d,t2 a e,t2 d e,t2 d a,t2 e a,t2 e d,Z[4] e,t2 a e,t2 e a,t1 c,t1 a,H a,t2 b f,t2 a f,t2 a b,t2 b a,t2 f a,Z+[4] b,Z[4] f,Z+[4] a,t2 f b,t2 a b,t2 a f,t2 b a,Z[4] b,t1 e,H b,t2 b e,t2 d e,t2 b d,t1 e,Z[4] b,Z+[4] d,Z+[4] e,t2 d b,t2 e b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 b d,t1 b,H b,t2 a f,t2 b f,t2 b a,t2 b c,t2 a b,t2 f b,t1 c,Z[4] a,Z+[4] f,Z[4] b,Z[4] c,t2 f a,t2 b a,t2 c a,t2 b f,t2 c b,t2 a c,t2 a b,Z+[2] c,H b,t1 c,H d,t2 d c,t2 d a,t1 a,t1 c,Z[4] d,Z[4] a,Z+[4] c,t2 a d,t2 c d,t2 a c,t2 d c,t2 d a,Z+[4] d,t2 a d,t2 c d,t2 d a,H c,t1 a,Z a,t1 d,Z d,t2 d e,t2 e d,t2 d e,t2 e f,t2 f e,t2 e f,t2 f b,t2 b f,t2 f b",
   "H a,t2 b c,Z[4] b,Z[4] a,Z+[4] c,t2 a b,t2 c b,t2 c a,t2 b c,Z+[4] b,Z+[4] c,Z[4] a,t2 a b,t2 a c,t2 c a,t2 b a,Z[2] c,H a,H b,t2 b a,t2 d a,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 d b,H d,H f,t2 e d,t2 f e,t2 e f,t2 d e,t2 d f,Z+[4] e,Z+[4] d,Z[4] f,t2 d e,t2 f e,t2 e d,Z[4] e,t2 f e,t2 d e,H f,t2 f a,t2 a b,Z[4] f,Z+[4] a,Z[4] b,t2 a f,t2 b f,t2 b a,t2 f a,t2 f b,Z+[4] f,t2 a f,t2 f a,H a,t2 e a,t2 e c,t2 d e,t2 a c,t2 a e,t2 a d,Z[4] a,Z+[4] d,Z[4] e,Z+[4] c,t2 d a,t2 e a,t2 c a,t2 e d,t2 c e,t2 a c,t2 a e,H b,t2 b c,t2 c f,t1 c,Z[4] b,Z+[4] f,Z+[4] c,t2 f b,t2 c b,t2 c f,t2 b f,t2 b c,Z[4] b,t2 b f,t1 b,H b,t2 b a,t2 e a,t2 e b,t2 a e,Z+[4] b,Z[4] a,Z+[4] e,t2 a b,t2 e b,t2 e a,t2 b e,Z[4] b,H b,t2 c b,t2 f c,t2 b c,t2 b f,t1 b,Z[4] c,Z+[4] f,Z+[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z[4] c,t2 f c,t2 c f,t1 f,H f,t2 f e,t2 e a,Z+[4] f,Z[4] e,Z+[4] a,t2 e f,t2 a f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 e f,H f,H c,t2 c a,t2 b c,t2 c b,Z[4] b,Z+[4] a,Z+[4] c,t2 a b,t2 c b,t2 a c,t2 b c,t2 b a,Z[4] b,t2 a b,t2 c b,H c,t2 c d,t2 d c,t2 c d,t2 d e,t2 e d,t2 d e,t2 e c,t2 c e,t2 e c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a",
   "t1 c,H e,t2 b a,t2 e c,t1 c,Z[4] e,Z+[4] a,Z[4] c,t2 c e,t2 b a,t1 e,t1 c,H c,t2 c a,t2 a c,Z[4] a,Z[4] c,Z[4] b,t2 b a,t2 c b,t2 a b,t2 a c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b c,H b,t2 b e,t1 e,Z[4] b,Z[4] e,t2 e b,t1 b,t1 d,t1 e,H e,H f,t2 c a,t2 f a,t2 e d,t2 e f,t1 d,Z+[4] f,Z[4] e,Z[4] a,Z[4] d,t2 e f,t2 c a,t2 f d,t2 f c,Z[4] f,Z+[4] c,Z+[4] a,Z+[4] d,t2 a f,t2 a c,t2 d a,t2 e a,t2 e d,t2 a d,t2 f d,t2 f a,t2 f c,H e,t2 e b,t1 b,Z[4] e,Z[4] b,t2 b e,t1 e,t1 b,H b,t2 c f,t2 b f,t2 b c,Z[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 f c,t2 b c,t2 b f,Z+[4] b,t2 c b,H c,t2 c e,t1 e,Z[4] c,Z[4] e,t2 e c,t1 a,t1 e,H e,t2 e a,t2 d e,t2 e d,t1 a,Z+[4] d,Z[4] e,Z+[4] a,t2 e d,t2 a d,t2 a e,t2 d e,t2 d a,Z[4] d,t2 a d,t2 e d,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t2 c d,t2 d c,t2 c d,t1 b,H c,t2 c b,t2 c f,t1 b,Z[4] f,Z+[4] c,Z+[4] b,t2 c f,t2 b f,t2 f b,Z[4] f,t2 b f,t2 c f,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t2 c d,t2 d c,t2 c d,H c,t2 e c,t2 a e,t2 c a,t2 c e,Z+[4] e,Z[4] a,Z+[4] c,t2 a e,t2 c e,t2 c a,t2 e c,Z[4] e,H e,t2 e d,Z[4] e,Z+[4] d,t2 d e,t2 e d,t2 d e,t2 e d,t1 f,H e,t2 b f,t2 e f,t2 e b,t1 f,Z[4] e,Z+[4] b,Z+[4] f,t2 b e,t2 f e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 b e,H b,t2 b d,Z[4] b,Z+[4] d,t2 d b,t2 b d,t2 d b,t2 b d,H b,t2 c b,t2 a b,t2 a c,t2 b a,t2 b c,Z+[4] c,Z[4] a,Z+[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z[4] c,t2 a c,H c,t1 e,Z e,t1 f,Z f,t2 e b,t2 b e,t2 e b,t2 b f,t2 f b,t2 b f,t2 f c,t2 c f,t2 f c,t2 c a,t2 a c,t2 c a",
   "t1 c,H e,t2 b a,t2 e c,t1 c,Z[4] e,Z+[4] a,Z[4] c,t2 c e,t2 b a,t1 e,t1 c,H c,t2 c a,t2 a c,Z[4] a,Z[4] c,Z[4] b,t2 b a,t2 c b,t2 a b,t2 a c,Z+[4] a,Z[4] c,Z+[4] b,t2 c a,t2 b c,H b,t2 b e,t1 e,Z[4] b,Z[4] e,t2 e b,t1 b,t1 d,t1 e,H e,H f,t2 c a,t2 f a,t2 e d,t2 e f,t1 d,Z+[4] f,Z[4] e,Z[4] a,Z[4] d,t2 e f,t2 c a,t2 f d,t2 f c,Z[4] f,Z+[4] c,Z+[4] a,Z+[4] d,t2 a f,t2 a c,t2 d a,t2 e a,t2 e d,t2 a d,t2 f d,t2 f a,t2 f c,H e,t2 e b,t1 b,Z[4] e,Z[4] b,t2 b e,t1 e,t1 b,H b,t2 c f,t2 b f,t2 b c,Z[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 f c,t2 b c,t2 b f,Z+[4] b,t2 c b,H c,t2 c e,t1 e,Z[4] c,Z[4] e,t2 e c,t1 a,t1 e,H e,t2 e a,t2 d e,t2 e d,t1 a,Z+[4] d,Z[4] e,Z+[4] a,t2 e d,t2 a d,t2 a e,t2 d e,t2 d a,Z[4] d,t2 a d,t2 e d,H f,t2 d f,t2 f d,Z[4] d,Z+[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 b,H d,t2 d b,t2 d c,t1 b,Z[4] c,Z+[4] d,Z+[4] b,t2 d c,t2 b c,t2 c b,Z[4] c,t2 b c,t2 d c,H d,t2 f d,t2 d f,Z[4] f,Z+[4] d,t2 d f,t2 f d,t2 d f,t2 f d,H f,t2 e f,t2 a f,t2 f e,t2 f a,Z+[4] e,Z[4] f,Z+[4] a,t2 f e,t2 a e,t2 a f,t2 e a,Z[4] e,H e,t2 d e,t2 e d,Z[4] d,Z+[4] e,t2 e d,t2 d e,t2 e d,t2 d e,t1 c,H d,t2 d c,t2 b c,t2 b d,t2 d b,t1 c,Z[4] b,Z+[4] d,Z+[4] c,t2 d b,t2 c b,t2 c d,t2 b d,t2 b c,Z[4] b,t2 d b,H d,t2 e d,t2 d e,Z[4] e,Z+[4] d,t2 d e,t2 e d,t2 d e,t2 e d,H e,t2 a e,t2 e a,t2 e f,Z+[4] a,Z[4] e,Z+[4] f,t2 e a,t2 f a,t2 f e,t2 a e,t2 a f,Z[4] a,t2 e a,H a,t1 b,Z b,t1 e,Z e,t2 b e,t2 e b,t2 b e,t2 e f,t2 f e,t2 e f,t2 f a,t2 a f,t2 f a",
   "H e,t2 e c,Z[4] e,Z+[4] c,Z[4] d,t2 c e,t2 e c,t2 c e,t2 e c,H e,t2 e a,t2 b e,t2 a b,Z[4] a,Z+[4] b,Z[4] e,t2 b a,t2 e a,t2 e b,t2 a e,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,H c,H f,t2 c d,t2 c f,Z+[4] f,Z+[4] d,Z[4] c,t2 d f,t2 c f,t2 f c,t2 f d,Z[4] f,Z[4] d,Z+[4] c,t2 c f,t2 c d,t2 d c,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,t2 f a,t2 a f,t2 f a,H f,t2 e b,t2 f b,t2 f e,Z[4] f,Z+[4] e,Z[4] b,t2 e f,t2 b f,t2 b e,t2 f e,t2 f b,Z+[4] f,t2 e f,H e,t2 e a,Z[4] e,Z+[4] a,t2 a e,H a,H c,t2 f c,t2 c f,t2 f c,t2 c e,t2 e c,t2 c e,t2 e a,t2 a e,t2 e a",
   "H f,t2 f e,t2 g f,t2 f g,t2 e f,Z+[4] g,Z[4] e,Z+[4] f,t2 e g,t2 g f,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 f c,H f,t2 f a,t2 b f,t2 a b,Z[4] a,Z+[4] b,Z[4] f,t2 b a,t2 f a,t2 f b,t2 a f,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 h d,H c,t2 c h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 c d,t2 c h,t2 h d,t2 c h,H h,t2 h e,t2 h g,Z+[4] h,Z[4] g,Z+[4] e,t2 g h,t2 e h,t2 e g,t2 h g,t2 h e,Z[4] h,t2 g h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 c d,H c,t2 c a,Z[4] c,Z+[4] a,t2 a c,t2 c a,t2 a c,t2 d g,t2 c a,H c,t2 f b,t2 c b,t2 c f,Z[4] c,Z+[4] f,Z[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 f c,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,t2 g d,H a,t2 g a,t2 d a,t2 d g,t2 a g,t2 a d,Z[4] d,Z+[4] a,t2 g d,t2 g a,t2 a d,t2 g a,H a,H c,t2 f b,t2 c b,t2 c f,Z[4] c,Z+[4] f,Z[4] b,t2 f c,t2 b c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 c f,H c,t2 h c,t2 h d,t2 d h,t2 c d,t2 c h,Z+[4] c,Z[4] h,Z+[4] d,t2 h c,t2 d c,t2 d h,t2 c d,Z[4] c,H c,t2 b f,t2 c f,t2 c b,Z[4] c,Z+[4] b,Z[4] f,t2 b c,t2 f c,t2 f b,t2 c b,t2 c f,Z+[4] c,t2 c b,H c,t2 d h,t2 c h,t2 c d,Z+[4] c,Z[4] d,Z+[4] h,t2 d c,t2 h c,t2 h d,t2 c d,t2 c h,Z[4] c,t2 d c,H b,t2 f b,t2 b f,t2 b d,Z[4] f,Z+[4] b,Z[4] d,t2 b f,t2 d f,t2 d b,t2 f b,t2 f d,Z+[4] f,t2 b f,t2 f b,H b,t2 b c,t2 e b,t2 c e,Z+[4] c,Z[4] e,Z+[4] b,t2 e c,t2 b c,t2 b e,t2 c b,Z[4] c,H c,t2 c f,t2 d f,t2 c d,Z[4] c,Z+[4] d,Z[4] f,t2 d c,t2 f c,t2 f d,t2 c d,t2 c f,Z+[4] c,t2 c d,H c,t2 c b,t2 b e,Z[2] c,Z[4] c,Z[4] b,Z+[4] e,t2 b c,t2 e c,t2 e b,t2 c b,t2 c e,Z[4] c,t2 b c,t2 e h,t2 h e,t1 f,H e,t2 e f,t1 f,Z[4] e,Z[4] f,t2 f e,t2 e f,t2 f e,t2 e f,t1 e,H e,t2 b e,t2 d b,t2 e b,t2 e d,Z[4] b,Z+[4] d,Z[4] e,t2 d b,t2 e b,t2 e d,t2 b e,Z+[4] b,t1 f,H b,t2 b f,t1 f,Z[4] b,Z[4] f,t2 f b,t2 b f,t2 f b,t2 b f,t1 b,H b,t2 b c,t2 h b,t2 c h,Z+[4] c,Z[4] h,Z+[4] b,t2 h c,t2 b c,t2 b h,t2 c b,Z[4] c,H c,t2 c f,t1 c,Z[4] f,Z[4] c,t2 c f,t1 f,t1 c,H c,t2 d e,t2 c e,t2 e d,Z[4] c,Z+[4] d,Z[4] e,t2 d c,t2 e c,t2 e d,t2 c d,t2 c e,Z+[4] c,t2 d c,H d,t2 d f,t1 f,Z[4] d,Z[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 d,H d,t2 d h,t2 b h,t2 b d,t2 d b,Z+[4] b,Z[4] d,Z+[4] h,t2 d b,t2 h b,t2 h d,t2 b d,t2 b h,Z[4] b,t2 d b,H b,t2 d h,H c,t1 f,Z[2] c,Z f,H c,Z[2] c,H c,Z[2] c,t1 e,t1 f,t2 c f,t2 f c,t2 c f,t2 f b,t2 b f,t2 f b,t2 b e,t2 e b,t2 b e,t2 e h,t2 h e,t2 e h,t2 h a,t2 a h,t2 h a",
   "t2 e a,t2 e c,t2 e d,H f,t2 f e,t2 f g,t2 e g,Z+[4] a,Z[4] f,Z[4] e,Z+[4] g,t2 e f,t2 f g,t2 f e,t2 f a,t2 f g,t2 a g,t1 d,H h,t2 h d,t1 d,Z[4] h,Z[4] d,t2 d h,t2 h d,t2 d h,H g,t2 g c,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g a,t2 g b,Z[4] b,Z+[4] g,Z[4] a,t2 g b,t2 a b,t2 b a,Z+[4] b,t2 a b,t2 g b,H g,t2 c g,t2 g c,Z[4] c,Z+[4] g,t2 g c,t2 h d,H g,t2 g d,t1 d,Z[4] d,Z[4] g,t2 h g,t2 d g,t2 d h,t1 h,H h,t2 h f,t2 h e,Z+[4] h,Z[4] e,Z[4] f,t2 e h,t2 f h,t2 f e,t2 h e,t2 h f,Z+[4] h,t2 f h,t2 e h,H e,t2 g e,t2 e g,t1 e,Z[4] g,Z[4] e,t2 e g,t2 d e,t2 g e,t2 d e,t2 g d,H g,t2 g c,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g a,t2 a b,Z[4] g,Z+[4] a,Z[4] b,t2 a g,t2 b g,t2 b a,t2 g a,t2 g b,Z+[4] g,t2 a g,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t1 g,t1 d,H c,t2 c d,t1 d,Z[4] d,Z[4] c,t2 c e,t2 d c,t1 d,H d,H b,t2 b a,t2 a g,t1 g,Z[4] b,Z+[4] a,Z+[4] g,t2 a b,t2 g b,t2 g a,t2 b a,t2 b g,Z[4] b,t2 a b,t2 b a,t1 a,H a,t2 c f,t2 f c,t2 a c,t2 a f,Z+[4] c,Z[4] a,Z[4] f,t2 a c,t2 f c,t2 c f,Z+[4] c,t2 a c,t1 b,H a,t2 a b,t2 g b,t2 g a,t2 a g,t1 b,Z[4] g,Z+[4] a,Z+[4] b,t2 a g,t2 b g,t2 b a,t2 g a,t2 g b,Z[4] g,t2 g a,t1 g,t1 c,H g,t2 f g,t2 f a,t2 g f,t2 g a,t1 f,t1 g,Z[4] f,Z+[4] g,Z[4] a,t2 g f,t2 a f,t2 f g,Z+[4] f,t2 a f,t2 h g,t2 h b,t2 h c,t2 a h,t2 h a,t2 c h,t2 b h,t1 b,t1 g,H h,t2 h b,t2 h g,t1 g,t1 b,Z[4] h,Z[4] g,Z[4] b,t2 g h,t2 b h,t2 g b,t2 h b,t2 h g,Z[4] h,t2 g h,t2 h b,t1 h,H h,t2 f h,t2 h c,t2 h f,Z+[4] h,Z[4] f,Z[4] c,t2 f h,t2 c h,t2 h c,Z+[4] h,t2 f h,t1 b,t1 g,H f,t2 f g,t2 f b,t1 b,t1 g,Z[4] f,Z[4] b,Z[4] g,t2 b f,t2 g f,t2 b g,t2 f g,t2 f b,Z[4] f,t2 b f,t2 f g,t1 f,H f,t2 f h,t2 f c,Z+[4] f,Z[4] c,Z[4] h,t2 c f,t2 h f,t2 h c,t2 f c,t2 f h,Z+[4] f,t2 h f,t2 c f,H h,H g,Z[2] g,H g,Z[2] g,H g,t1 f,Z[2] g,t2 g e,t2 e g,t2 g e,t2 e a,t2 a e,t2 e a,t2 b c,t2 c b,t2 h f,t2 f h,t2 h d,t2 d h,t2 h d",
   "H d,t2 g c,t2 h g,t2 g h,t2 d h,t2 c h,t2 c g,t2 a g,Z[4] d,Z+[4] h,Z[4] a,Z+[2] c,Z+[4] c,Z+[4] g,t2 h d,t2 a g,t2 d g,t2 d c,H h,t2 h a,t2 a b,Z[4] a,Z+[4] b,t2 h a,t2 h b,t2 a b,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 b c,H d,H f,t2 f a,t2 d b,t2 f e,t2 d e,t2 d f,t2 f d,t2 h d,t2 b c,t2 a h,t1 b,Z+[4] f,Z[4] b,Z+[4] d,Z+[4] a,Z[4] h,Z[4] e,Z+[4] c,t2 d f,t2 a f,t2 h f,t2 c f,t2 c b,t2 a d,t2 h d,t2 e d,t2 c d,t2 h a,t2 e h,t2 c h,t2 c e,t2 a h,t2 d h,t2 d e,t2 f b,t2 f c,t2 f d,t2 d b,t1 b,H c,t2 c a,t2 d b,t1 b,Z[4] c,Z+[4] a,t2 a c,t2 d b,t1 b,H a,t2 h a,t2 h f,t2 d b,t2 a h,t2 a d,t2 a f,t1 b,Z[4] h,Z+[4] a,Z+[4] f,Z+[4] d,t2 a h,t2 f a,t2 d f,t2 f d,t2 a d,t2 a f,t2 h d,t2 h a,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t2 d c,t2 c d,t2 d c,H d,t2 e d,t2 a d,t2 a e,t2 e f,t2 d f,t2 d e,t2 d a,t1 e,t1 a,t1 d,Z[4] e,Z+[4] a,Z[4] f,Z+[4] d,t2 f e,t2 d a,t2 d f,t2 f d,t2 a f,t2 e f,t2 e a,t2 e g,t2 e d,t2 a g,t1 c,t1 d,H e,t2 e c,t2 g d,t2 a g,t2 d g,t1 c,Z[4] e,Z[4] c,t2 c e,t2 e c,t2 c e,t2 e c,t1 e,t1 g,H e,t2 e h,t2 d h,t2 a g,t2 d g,t2 e a,t2 h d,t1 e,Z[4] d,Z+[4] h,Z[4] a,Z[4] e,t2 a d,t2 e h,t2 g h,t2 e a,t2 a e,t2 d h,t2 a d,t2 h d,t2 g d,t2 h a,t2 g a,t2 g h,t2 h g,t2 a e,t1 g,H e,t2 e c,t2 h g,t1 g,Z[4] c,Z+[4] e,t2 e c,t2 h g,t1 g,H e,t2 e f,t2 e h,t2 e g,t2 h e,t2 f e,t1 g,Z+[4] f,Z+[4] g,Z[4] e,Z+[4] h,t2 e f,t2 h g,t2 h e,t2 f h,t2 f g,H h,t2 h c,Z[4] h,Z+[4] c,t2 c h,t2 h c,t2 c h,t2 h c,H h,t2 h d,t2 a d,t2 a g,t2 h g,t2 d a,t1 a,Z[4] h,Z+[4] g,Z[4] d,Z[4] a,t2 g h,t2 d g,t2 a d,t2 f a,t2 d a,t2 g a,t2 h a,t2 h d,t2 f d,t1 c,H a,t2 a c,t1 c,Z+[4] c,Z+[4] a,t2 a c,t1 d,H a,t2 a d,t2 a e,t1 d,Z+[4] d,Z+[4] e,t2 a d,t2 a e,t2 e d,t2 a d,Z+[2] a,Z h,Z+[2] d,t2 d a,t2 e a,t2 e d,t2 a e,t2 a d,t1 f,t1 e,H b,t2 b f,t2 a e,t1 f,t1 e,Z[4] b,Z[4] f,t2 f b,t2 a e,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t1 g,H c,t2 c h,t2 c g,t1 g,Z[4] h,Z+[4] c,Z+[4] g,t2 c h,t2 g h,t2 h g,Z[4] h,t2 g h,t2 c h,H c,t2 c a,Z[4] c,Z+[4] a,t2 a c,H a,t2 a f,t2 a b,t1 a,t1 b,Z+[4] a,Z[4] b,t2 b a,t1 b,t1 e,H b,t2 b d,t2 d e,t1 e,Z+[4] b,Z[4] d,Z[4] e,t2 d b,t2 e b,t2 e d,t2 b d,t2 b e,Z+[4] b,t2 d b,t1 b,H b,H d,t2 d a,Z[4] d,Z+[4] a,t2 a d,t2 d a,t2 f a,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,t2 f c,t2 c f,t2 d a,t2 f c,t1 h,H f,t2 g f,t2 f g,t2 f h,t1 h,Z[4] g,Z+[4] f,Z+[4] h,t2 f g,t2 h g,t2 h f,t2 g f,t2 g h,Z[4] g,t2 f g,H f,t2 f c,Z[4] f,Z+[4] c,t2 c f,H c,t2 a d,t2 c a,t1 d,Z+[4] a,Z[4] c,t2 a c,t2 a d,H a,H g,Z[2] g,H g,Z[2] g,H g,Z[2] g,t1 c,t1 g,Z g,Z h,Z f,t2 g c,t2 c g,t2 g c,t2 c f,t2 f c,t2 c f,t2 f b,t2 b f,t2 f b,t2 b h,t2 h b,t2 b h,t2 h a,t2 a h,t2 h a",
   "H b,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z+[4] e,Z[4] a,t2 b d,t1 a,H b,t2 b a,t2 b c,t2 g b,t2 b g,t2 c b,t2 a b,t1 a,t1 b,Z[4] c,Z+[4] g,Z+[4] a,Z[4] b,t2 g c,t2 a g,t2 a b,t2 g a,t2 c b,H a,t2 a d,Z[4] a,Z+[4] d,t2 d a,t2 a d,t2 d a,t2 a d,t1 g,H a,H f,t2 e a,t2 f a,t2 f g,t2 f e,t2 h e,t2 h b,t2 f b,t2 e b,t2 e h,t2 a b,t2 a h,t2 a f,t1 g,Z+[4] b,Z[4] a,Z+[4] f,Z[4] h,Z[4] e,Z+[4] g,t2 a b,t2 f b,t2 h b,t2 f a,t2 h f,t2 f e,t2 a e,t2 a g,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,t2 h d,H h,t2 b g,t2 g b,t2 c b,t2 h g,t2 h c,t2 h b,t1 c,t1 g,Z[4] h,Z+[4] b,Z+[4] c,Z[4] g,t2 b h,t2 c b,t2 c g,t2 b c,t2 h g,t2 h c,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t1 b,H d,t2 d b,t2 f a,t2 d a,t2 f g,t2 d g,t2 d f,t2 a g,t2 b g,t1 b,t1 g,Z[4] f,Z+[4] a,Z+[4] b,Z[4] g,t2 d f,t2 d a,t2 d b,t2 d g,t2 b g,t2 a g,t2 f g,t2 f a,H e,t2 e c,Z[4] e,Z+[4] c,t2 c e,t2 e c,t2 c e,H g,t2 h g,t2 g h,Z[4] h,Z+[4] g,t2 g h,t2 e c,t1 d,H g,t2 g b,t2 b d,t1 d,Z[4] b,Z+[4] g,Z[4] d,t2 g b,t2 d b,t2 b d,Z+[4] b,t2 g b,H g,t2 g h,Z[4] g,Z+[4] h,t2 h g,t2 g h,t2 h g,t2 g h,H g,t2 e g,t2 c g,t2 c e,t2 g e,t2 g c,Z[4] c,Z+[4] g,t2 e c,t2 e g,t2 g c,t2 e g,H g,t2 f g,t2 a g,t2 a f,t2 g f,t2 g a,Z+[4] f,Z[4] a,Z+[4] g,t2 a f,t2 g f,t2 g a,t2 f a,t2 f g,Z[4] f,t2 a f,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 a c,t2 e c,H e,t2 e h,Z[4] e,Z+[4] h,t2 h e,t2 e h,t2 h e,t2 c a,t2 e h,t1 b,H e,t2 e b,t2 e d,t1 b,Z[4] e,Z+[4] d,Z[4] b,t2 d e,t2 b e,t2 d b,t2 e b,t2 e d,Z+[4] e,t2 d e,t2 b e,H b,t2 b h,Z[4] b,Z+[4] h,t2 h b,t2 a c,H h,t2 h a,t2 c a,t2 a c,Z[4] c,Z+[4] a,t2 h c,t2 h a,t2 a c,t2 h a,H a,t1 b,H g,t2 g b,t1 b,Z[4] g,Z[4] b,t2 b g,t2 g b,t2 b g,t2 g b,t1 g,H g,t2 e g,t2 g d,t2 g e,t1 d,Z[4] g,Z[4] e,Z[4] d,t2 e g,t2 d g,t2 g d,Z[4] g,t2 e g,t2 g d,t2 e g,t2 g e,t1 g,t1 b,H g,t2 g b,t1 b,Z[4] g,Z[4] b,t2 b g,t1 e,t1 c,t1 b,H b,t2 f c,t2 b c,t2 b f,t1 c,Z+[4] f,Z[4] b,Z+[4] c,t2 b f,t2 c f,t2 f c,Z[4] f,t2 b f,t1 g,H b,t2 b g,t1 g,Z[4] b,Z[4] g,t2 g b,t2 b g,t2 g b,t2 b g,t1 b,H b,t2 b e,t2 e d,t1 d,Z[4] b,Z[4] e,Z[4] d,t2 e b,t2 d b,t2 e d,t2 b d,t2 b e,Z[4] b,t2 d b,t1 g,H d,t2 d g,t1 g,Z[4] d,Z[4] g,t2 g d,t1 g,t1 f,H g,t2 g c,t2 g f,t1 f,Z+[4] g,Z[4] c,Z+[4] f,t2 c g,t2 f g,t2 f c,t2 g c,t2 g f,Z[4] g,t2 f g,t2 c g,t1 b,H f,H b,Z[2] b,Z e,Z d,H b,Z[2] b,H b,Z[2] b,t1 d,t2 b e,t2 e b,t2 b e,t2 e c,t2 c e,t2 e c,t2 c d,t2 d c,t2 c d,t2 d g,t2 g d,t2 d g,t2 g h,t2 h g,t2 g h,t2 h a,t2 a h,t2 h a",
   "t1 e,H f,t2 f e,t2 f g,t2 e f,t1 e,t1 f,Z+[4] e,Z[4] f,Z+[2] b,Z+[4] b,Z+[4] g,t2 f e,t2 e g,t2 b g,t1 d,H h,t2 h d,t1 d,t1 g,Z[4] h,Z[4] d,t2 d h,t2 h d,t2 d h,t1 c,H g,t2 g c,t1 c,Z[4] g,Z[4] c,t2 c g,t2 g c,t2 c g,t2 g c,t1 g,H g,t2 g a,t2 a b,Z[4] a,Z+[4] g,Z+[4] b,t2 g a,t2 b a,t2 a b,Z[4] a,t2 g a,H g,t2 g c,t1 g,Z[4] c,Z[4] g,t2 g c,t2 h d,t1 g,H g,t2 g d,t1 d,Z[4] d,Z[4] g,t2 h g,t2 d g,t2 d h,t1 f,t1 h,H h,t2 h e,t2 h f,t1 f,Z+[4] h,Z[4] e,Z+[4] f,t2 e h,t2 f h,t2 f e,t2 h e,t2 h f,Z[4] h,t2 f h,t2 e h,H e,t2 g e,t2 e g,t1 e,Z[4] g,Z[4] e,t2 e g,t2 d e,t2 g e,t2 d e,t2 g d,t1 c,H g,t2 g c,t1 c,Z[4] g,Z[4] c,t2 c g,t2 g c,t2 c g,t2 g c,t1 g,H g,t2 g a,t2 g b,Z[4] g,Z+[4] b,Z+[4] a,t2 b g,t2 a g,t2 b a,t2 g a,t2 g b,Z[4] g,t2 b g,t2 a g,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t1 c,t1 d,H c,t2 c d,t1 d,Z[4] d,Z[4] c,t2 c e,t2 d c,t1 d,H d,H g,t2 c g,t2 g c,Z[4] c,Z+[4] g,t2 g c,t2 c g,t2 g c,t2 c g,H c,t2 c a,t2 a b,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 a c,t2 c a,H a,t2 a g,Z[4] a,Z+[4] g,t2 g a,t2 a g,t2 g a,t2 a g,H a,t2 h a,t2 f h,t2 a f,t2 a h,Z+[4] h,Z[4] f,Z+[4] a,t2 f h,t2 a h,t2 a f,t2 h a,Z[4] h,H h,t2 h g,Z[4] h,Z+[4] g,t2 g h,t2 h g,t2 g h,t2 h g,H h,t2 b c,t2 h c,t2 h b,Z[4] h,Z+[4] b,Z[4] c,t2 b h,t2 c h,t2 c b,t2 h b,t2 h c,Z+[4] h,t2 b h,H b,t2 g b,t2 b g,Z[4] g,Z+[4] b,t2 b g,t2 g b,t2 b g,t2 g b,H g,t2 f g,t2 a g,t2 f h,t2 a h,t2 f a,t2 g a,t2 g f,t2 g h,Z[4] f,Z+[4] g,Z[4] h,t2 g f,t2 h f,t2 h g,t2 a g,t2 f h,t2 f g,Z+[4] f,t2 h f,t2 a f,H h,H a,Z[2] a,Z c,H a,Z[2] a,H a,Z[2] a,t1 c,t1 a,Z a,Z f,t2 f h,t2 h f,t2 f h,t2 h d,t2 d h,t2 h d,t2 d b,t2 b d,t2 d b,t2 g e,t2 e g,t2 g e",
   "H c,t2 d c,t2 c d,Z[4] d,Z[4] a,Z+[4] e,Z+[4] c,t2 c d,t2 d c,Z[2] d,t2 d g,H c,H f,t2 c a,t2 g c,t2 f d,t2 g d,t2 f e,t2 f g,t2 c g,t2 c d,t2 a f,t2 a d,t1 c,t1 g,Z[4] c,Z+[4] g,Z+[4] a,Z+[4] d,Z[4] f,Z[4] e,t2 d c,t2 f c,t2 a g,t2 d g,t2 f a,t2 e a,t2 f d,t2 e f,t2 d f,t2 a f,t2 a e,H h,t2 h g,Z[4] h,Z+[4] g,t2 g h,t2 h g,t2 h c,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,t2 c d,t2 d c,t2 c d,H c,t2 c b,t2 f b,t2 b f,Z+[4] c,Z[4] b,Z[4] f,t2 b c,t2 f c,t2 b f,t2 c f,t2 c b,Z+[4] c,t2 f c,t2 b c,t1 c,H f,t2 f d,Z[4] f,Z+[4] d,t2 d f,t1 h,H d,t2 d h,t1 h,Z[4] d,Z[4] h,t2 h d,t2 d h,t2 g d,t2 h d,t2 h g,t2 g h,t2 d h,t2 d g,t1 g,t1 h,H h,t2 h a,t2 d g,t2 a e,t1 g,Z+[4] h,Z[4] a,Z+[4] e,t2 a h,t2 e h,t2 e a,t2 h a,t2 h e,Z[4] h,t2 a h,t2 d g,H h,H a,t2 a g,t1 g,Z[4] a,Z[4] g,t2 g a,t2 d g,t2 a g,t2 d a,t2 d g,t2 a g,H a,t2 a f,Z[4] a,Z+[4] f,t2 f a,t1 d,H f,t2 f b,t2 f c,t1 c,Z[4] f,Z[4] c,Z[4] b,t2 c f,t2 b f,t2 c b,t2 f b,t2 f c,Z[4] f,t2 c f,t2 b f,t2 c f,t2 f c,H b,t2 b a,Z[4] b,Z+[4] a,t2 a b,t2 b a,t2 a b,t2 b a,H b,t2 b d,t1 d,Z[4] b,Z[4] d,t2 d b,t2 b d,t2 d g,t2 b d,t1 d,H d,H a,t2 a c,t2 a b,t1 a,Z+[4] c,Z+[4] b,Z+[4] a,t2 b c,t2 a c,t2 a b,t2 b a,Z+[4] c,t2 f c,t2 b c,t2 a c,t2 b f,t2 a b,t2 b a,t2 c f,t1 b,H b,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,Z f,t1 b,Z b,t2 c b,t2 b c,t2 c b,t2 b f,t2 f b,t2 b f,t2 f h,t2 h f,t2 f h,t2 h d,t2 d h,t2 h d,t2 d a,t2 a d,t2 d a",
   "H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 d b,H d,H f,t2 c d,t2 c f,t2 d f,t2 d c,Z+[4] f,Z+[4] d,Z[4] c,t2 d f,t2 c f,t2 f d,Z[4] f,Z[4] d,t2 d f,t2 c f,H c,t2 c a,t2 a b,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 c a,H c,t2 f c,t2 c f,t2 c d,Z[4] c,Z+[4] d,t2 f c,t2 f d,t2 c d,H b,t2 e b,t2 a e,t2 e a,t2 b a,t2 b e,Z[4] a,Z+[4] b,Z+[4] e,t2 b a,t2 e a,t2 e b,t2 a b,t2 a e,Z[4] a,t2 e a,t2 b a,Z[2] a,Z[2] e,t2 e a,Z+[2] a,t2 e a,H b,t2 b f,t2 b d,Z[4] b,Z+[4] d,Z+[4] f,t2 d b,t2 f b,t2 d f,t2 b f,t2 b d,Z[4] b,t2 d b,t2 f b,H b,H f,t2 f a,t2 f e,Z[4] f,Z+[4] e,Z+[4] a,t2 e f,t2 a f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 a f,t2 e f,H e,t2 f e,t2 e f,t2 f e,t2 e a,t2 a e,t2 e a,t2 f b,t2 b f,t2 f b",
   "H d,t2 b a,t2 d a,t2 d b,Z[4] d,Z+[4] b,Z[4] a,Z[4] e,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z+[4] d,t2 d b,H d,H f,t2 c d,t2 c f,t2 d f,t2 d c,Z+[4] f,Z+[4] d,Z[4] c,t2 d f,t2 c f,t2 d e,t2 f e,t2 f d,Z[4] f,Z[4] d,Z+[4] e,t2 d f,t2 c f,t2 e d,t2 d e,H c,t2 c a,t2 a b,Z[4] c,Z+[4] a,Z[4] b,t2 a c,t2 b c,t2 b a,t2 c a,t2 c b,Z+[4] c,t2 c a,H c,t2 f c,t2 d f,t2 f d,t2 c d,t2 c f,t2 c e,Z[4] c,Z+[4] e,Z+[4] f,t2 e c,t2 f c,t2 f e,t2 d e,t2 c f,t2 c e,Z[4] c,t2 f c,t2 d c,H f,t2 a f,t2 f a,t2 a f,t2 f a,t2 a f,t2 f a,t2 e c,t2 c e,t2 e c",
   "H a,Z[4] a,Z+[4] b,Z[4] d,t2 b a,t2 d b,t2 a b,t2 a d,Z[4] a,Z+[4] d,Z+[4] b,t2 d a,t2 b d,t2 a b,t2 a d,Z+[2] c,Z[2] d,H b,t1 b,H a,t2 c b,t2 a b,t2 a c,t1 b,Z[4] a,Z+[4] c,Z+[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z[4] a,t2 c a,t2 a c,t1 c,t1 e,H c,H f,t2 f c,t2 f e,t2 c e,t2 c f,t1 e,Z+[4] c,Z[4] f,Z[4] e,t2 f c,t2 c e,Z[4] c,Z+[4] e,t2 e c,t2 f c,t2 f e,t2 c e,t1 a,H f,t2 b a,t2 f a,t2 f b,t1 a,Z[4] f,Z+[4] b,Z+[4] a,t2 b f,t2 a f,t2 a b,t2 f b,t2 f a,Z[4] f,t2 b f,t2 f b,t1 b,H b,t2 e d,t2 e c,t2 d c,t2 d e,t2 b c,t2 b d,t2 b e,Z+[2] c,Z+[4] c,Z+[4] b,Z[4] e,Z+[4] d,t2 e c,t2 e b,t2 d e,t2 e d,t2 b d,t2 c b,t2 e b,t2 d b,Z[2] b,t2 e b,t2 b d,H f,t2 f b,t2 f d,t1 d,t1 b,Z[4] f,Z[4] d,Z+[4] b,t2 d f,t2 b f,t2 b d,t2 f d,t2 f b,Z+[4] f,t2 b f,t2 d f,t2 b f,H d,t1 a,H f,t2 f a,t2 d f,t2 f d,t1 a,Z[4] d,Z+[4] f,Z[4] a,t2 f d,t2 a d,t2 a f,t2 d f,t2 d a,Z+[4] d,t2 a d,t2 f d,t2 a d,Z[2] a,Z[2] d,t2 a d,H f,t2 f b,t2 b e,Z+[4] b,Z[4] e,Z+[4] f,t2 e b,t2 f b,t2 b e,Z[4] b,t2 f b,t1 d,H f,t2 f a,t2 f d,t1 d,Z[4] f,Z+[4] a,Z[4] d,t2 a f,t2 d f,t2 d a,t2 f a,t2 f d,Z+[4] f,t2 d f,t2 a f,H a,H f,t2 f a,Z[4] f,Z+[4] a,t2 a f,H a,t2 d e,t2 a e,t2 a d,t2 d a,t2 e a,Z[4] d,Z+[4] e,Z[4] a,t2 e d,t2 a d,t2 a e,t2 d a,Z+[4] d,H d,t2 d f,Z[4] d,Z+[4] f,t2 f d,H f,t2 f c,t2 b f,t2 c b,t1 b,t1 c,Z[4] b,Z+[4] c,Z[4] f,t2 c b,t2 f b,t2 b f,t2 b c,Z+[4] b,t2 c b,t1 b,H b,t2 b d,Z[4] b,Z+[4] d,t2 d b,H d,t2 d e,t2 a e,t2 a d,t2 d a,Z[4] a,Z+[4] d,Z[4] e,t2 d a,t2 e a,t2 e d,t2 a d,t2 a e,Z+[4] a,t2 d a,H d,t2 d b,Z[4] d,Z+[4] b,t2 b d,H b,t2 f c,t2 b c,t2 c f,Z+[4] f,Z[4] c,Z[4] b,t2 c f,t2 b f,t2 f c,Z+[4] f,t2 b f,t2 c b,H f,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t2 e c,t2 c e,t2 e c,t2 c b,t2 b c,t2 c b",
   "t2 a d,t2 a c,H e,t2 d c,t2 c d,t2 a b,Z[4] a,Z[4] e,Z+[4] b,Z+[4] c,Z+[4] d,t2 e a,t2 b a,t2 b e,t2 d c,t2 e c,t2 e d,t2 a c,t2 a d,t2 a b,Z+[4] a,Z+[4] b,Z[4] e,t2 e a,t2 e b,t2 b e,t2 a e,t2 a d,t2 a c,H e,H a,t2 d c,t2 c d,t2 a c,t2 a d,Z[4] a,Z+[4] d,Z[4] c,t2 d a,t2 c a,t2 d c,t2 a c,t2 a d,Z+[4] a,t2 d a,t2 c a,t2 d a,t2 c a,t2 c d,t2 a c,t2 a d,H a,H f,t2 f a,t2 f e,t2 d c,t2 a f,t2 a e,Z+[4] a,Z+[4] e,Z[4] f,t2 e a,t2 f a,t2 e c,t2 a c,t2 a e,Z[4] a,Z[4] e,Z[4] c,t2 e a,t2 f a,t2 c e,t2 e c,t2 e d,t2 d e,H f,t2 e d,t2 f d,t2 f e,Z[4] f,Z+[4] e,Z[4] d,t2 e f,t2 d f,t2 e d,t2 f d,t2 f e,Z+[4] f,t2 d f,t2 f d,t2 f e,H d,t2 d a,t2 d f,t2 d e,t2 f e,t2 c f,t2 a c,Z[4] d,Z[4] a,Z+[4] c,Z+[4] f,t2 a d,t2 c d,t2 c a,t2 b a,t2 b f,t2 e f,t2 f e,t2 f b,t2 a f,t2 a e,t2 d c,t2 d a,Z[4] d,Z+[4] a,Z[2] e,Z[4] e,Z[4] f,Z+[4] b,t2 e d,t2 f d,t2 b d,t2 e a,t2 f e,t2 b f,t2 f b,t2 e b,t2 d b,t2 d a,H c,t2 c a,t2 c b,Z[4] c,Z+[4] a,Z+[4] b,t2 a c,t2 b c,t2 a b,t2 c b,t2 c a,Z[4] c,t2 a c,t2 b c,t2 e d,t2 d e,H b,t2 a e,t2 a d,H d,t2 d a,t2 d e,Z[4] d,Z+[4] e,Z+[4] a,t2 e d,t2 a d,t2 e a,t2 d a,t2 d e,Z[4] d,t2 e d,t2 a d,H a,t1 b,H e,t2 e b,t2 e c,t1 b,Z[4] e,Z+[4] c,Z[4] b,t2 c e,t2 b e,t2 c b,t2 e b,t2 e c,Z+[4] e,t2 c e,t2 e b,H e,t2 e a,t2 f a,t2 f e,t2 a f,Z+[4] e,Z[4] a,Z+[4] f,t2 a e,t2 f e,t2 f a,t2 e f,Z[4] e,t1 c,H e,t2 b e,t2 b c,t2 e b,t2 e c,t1 c,Z[4] b,Z+[4] e,Z[4] c,t2 e b,t2 c b,t2 e c,t2 b c,t2 b e,Z+[4] b,t2 e b,t2 c b,t2 b c,H c,t2 c f,t2 a c,t2 d a,t2 a d,t2 c a,t2 f d,Z[4] f,Z+[4] d,Z[4] c,Z+[4] a,t2 d f,t2 c f,t2 a f,t2 c d,t2 a c,t2 f a,t2 f c,H c,H d,t2 d f,t2 a d,t2 d a,Z[4] a,Z+[4] f,Z+[4] d,t2 f a,t2 d a,t2 f d,t2 a d,t2 a f,Z[4] a,t2 f a,t2 d a,H d,Z[2] b,t2 f b,t2 b f,t2 f b,t2 b f,t2 f b,t2 b f,t2 f c,t2 c f,t2 f c,t2 c a,t2 a c,t2 c a",
   "H d,Z[4] a,Z[4] b,Z[4] d,t2 b a,t2 c d,Z+[4] d,Z+[4] a,Z[4] c,t2 b a,H d,t2 d a,t2 b d,t2 a b,Z[4] a,Z+[4] b,Z[4] d,t2 b a,t2 d a,t2 d b,t2 a d,Z+[4] a,H a,t2 a c,Z[4] a,Z+[4] c,t2 c a,t2 a c,t2 c a,t2 a c,H a,H f,t2 a f,t2 a e,Z+[4] f,Z+[4] e,Z[4] a,t2 e f,t2 a f,t2 d e,t2 c d,t2 d c,t2 b c,t2 e d,t2 e b,t2 e c,t2 f d,t2 f b,t2 f c,t2 f e,Z[4] f,Z+[4] e,Z+[4] c,Z[4] b,Z+[4] d,t2 e f,t2 c f,t2 b f,t2 a f,t2 c e,t2 b e,t2 d e,t2 b c,t2 d b,t2 c b,t2 e d,t2 e b,H a,t2 a e,Z[4] a,Z+[4] e,t2 e a,t2 a e,t2 e a,t2 a e,H a,t2 a c,t2 c b,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 c a,H c,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,t2 e c,t2 e f,t2 f d,Z[4] f,Z+[4] d,Z+[4] c,t2 d f,t2 c f,t2 c d,t2 e d,t2 f c,t2 f d,Z[4] f,t2 c f,t2 e f,Z[2] c,H c,t2 a c,t2 c a,t2 a c,t2 c f,t2 f c,t2 c f,t2 f a,t2 a f,t2 f a,t2 e d,t2 d e,t2 e d",
   "H e,t2 d b,t2 b d,Z[4] d,Z[4] e,Z+[4] b,t2 e d,t2 b d,t2 b e,t2 d b,Z+[4] d,Z+[4] b,Z[4] e,t2 e d,t2 e b,t2 b e,t2 d e,H e,Z[2] b,Z a,t1 b,H c,t2 c b,t1 b,Z[4] c,Z[4] b,Z+[4] e,t2 b c,t2 c b,t2 b c,t2 c b,t1 a,t1 c,H c,t2 c a,t2 d c,t2 c d,t1 a,Z[4] c,Z+[4] d,Z+[4] a,t2 d c,t2 a c,t2 c a,Z[4] c,t2 a c,t2 d c,t1 b,H d,t2 d b,t1 b,Z[4] d,Z[4] b,t2 b d,t2 d b,t2 b d,t2 d b,t1 d,H d,H f,t2 f e,t2 e f,t2 d f,t2 d e,Z+[4] e,Z[4] f,Z+[4] d,t2 f e,t2 d f,t2 e f,t2 e d,Z[4] e,Z[4] d,Z+[4] f,t2 f e,t2 f d,t2 e f,t2 e d,t2 d e,t2 e d,t1 b,H e,t2 e b,t1 b,Z[4] e,Z[4] b,t2 b e,t2 e b,t2 b e,t2 e b,t1 e,t1 c,H e,t2 e a,t2 a c,t1 c,Z[4] e,Z+[4] a,Z+[4] c,t2 a e,t2 c e,t2 c a,t2 e a,t2 e c,Z[4] e,t2 a e,t1 b,H a,t2 a b,t1 b,Z[4] a,Z[4] b,t2 b a,t2 a b,t2 b a,t2 a b,t1 a,H a,t2 a d,t2 a f,t1 a,t1 f,Z[4] a,Z+[4] f,Z[4] d,t2 f a,t2 d a,t2 a f,Z+[4] a,t2 d a,t2 f d,H c,t2 c e,t2 d f,t2 c d,t1 c,Z[4] d,Z+[4] e,Z[4] c,t2 e d,t2 c d,t2 f c,t2 e c,t2 d c,t2 d e,Z+[4] d,t2 e d,t2 f d,t2 f e,t2 e f,t2 d c,t1 e,H d,t2 d a,t2 f e,t2 f d,t2 a f,Z+[4] a,Z[4] f,Z+[4] d,t2 f a,t2 d a,t2 d f,t2 a d,Z[4] a,t2 d e,H a,t2 a d,t2 c a,t2 a c,t1 d,Z[4] c,Z+[4] a,Z[4] d,t2 a c,t2 d c,t2 a d,t2 c d,t2 c a,Z+[4] c,t2 a c,t2 d c,t2 a e,t2 c d,H d,t2 d a,t2 d e,t2 a d,t2 a f,t1 d,Z[2] a,Z+[2] f,t2 e a,t2 e f,t2 a d,t2 a f,H f,H a,t2 e b,Z+[2] e,Z+[4] e,Z[4] a,Z+[4] b,t2 a e,t2 b e,t2 b a,t2 e b,Z+[4] e,Z+[4] b,Z[4] a,t2 a e,t2 a b,t2 b a,t2 e a,H a,t1 c,t1 e,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,t2 c d,t2 d c,t2 c d,t2 d b,t2 b d,t2 d b,t2 b e,t2 e b,t2 b e,t2 e a,t2 a e,t2 e a",
   "H c,t2 b c,Z[4] a,Z[2] b,Z[4] b,Z+[4] c,t2 b a,t2 c a,t2 c b,t2 a c,Z+[4] a,Z[4] b,Z+[4] c,t2 b a,t2 c a,t2 c b,t2 b c,Z[4] b,t2 a b,t2 c b,H c,H b,t2 d c,t2 b c,t2 b d,Z[4] b,Z+[4] d,Z[4] c,t2 d b,t2 c b,t2 c d,t2 b d,t2 b c,Z+[4] b,t2 d b,t2 b d,H d,H f,t2 e d,t2 e f,t2 d f,t2 d e,Z+[4] f,Z+[4] d,Z[4] e,t2 d f,t2 e f,t2 d a,t2 f a,t2 f d,Z[4] f,Z[4] d,Z+[4] a,t2 d f,t2 e f,t2 a d,t2 d a,H e,t2 c b,t2 e b,t2 e c,Z[4] e,Z+[4] c,Z[4] b,t2 c e,t2 b e,t2 b c,t2 e c,t2 e b,Z+[4] e,t2 c e,t2 e c,H c,t2 f a,t2 c a,t2 d f,t2 c d,t2 f d,t2 a f,Z[4] c,Z[4] d,Z+[4] a,Z[4] f,t2 d c,t2 a c,t2 f c,t2 a d,t2 f a,t2 d f,t2 c f,t2 c a,t2 f c,Z+[2] c,t2 f c,H d,H e,t2 f e,t2 c f,t2 f c,t2 e f,t2 e c,Z[4] c,Z+[4] f,Z+[4] e,t2 f c,t2 e c,t2 f e,t2 c e,t2 c f,Z[4] c,t2 f c,t2 e c,H e,t2 f b,t2 b f,t2 f b,t2 b c,t2 c b,t2 b c,t2 c e,t2 e c,t2 c e,t2 e a,t2 a e,t2 e a,t2 f d,t2 d f,t2 f d",
   "H d,t2 c b,t2 d c,Z[4] d,Z+[4] c,Z+[4] b,t2 c d,t2 b d,t2 b c,t2 d c,t2 d b,t2 b c,H c,t2 d c,Z[4] c,Z[4] d,Z[4] b,t2 d c,t2 a d,t2 c d,t2 c a,Z+[4] c,Z+[4] a,Z[4] d,t2 a c,t2 d a,t2 a d,t2 c d,H d,t2 d b,Z[4] d,Z+[4] b,t2 b d,t1 c,H b,H f,t2 d a,t2 f a,t2 e b,t2 f e,t2 e f,t2 b f,t2 b e,Z+[4] e,Z+[4] b,Z[4] f,Z[4] a,t2 b e,t2 f e,t2 d a,t2 b d,t2 e d,t2 e b,Z[4] e,Z[4] b,Z+[4] d,Z+[4] a,t2 b e,t2 f e,t2 a b,t2 a d,t2 b a,t2 b d,H f,t2 f d,Z[4] f,Z+[4] d,t2 d f,H d,t2 b c,t2 d c,t2 d b,t1 c,Z[4] d,Z+[4] b,Z+[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z[4] d,t2 b d,H b,t2 b f,Z[4] b,Z+[4] f,t2 f b,H f,t2 e a,t2 f a,t2 f e,Z+[4] f,Z[4] e,Z+[4] a,t2 e f,t2 a f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 e f,t1 b,H c,t2 c d,t2 c b,t1 b,Z[4] c,Z+[4] d,Z[4] b,t2 d c,t2 b c,t2 d b,t2 c b,t2 c d,Z+[4] c,t2 d c,t2 b c,t2 c b,H b,t2 e b,t2 f b,t2 b e,t2 b f,Z+[4] e,Z[4] b,Z+[4] f,t2 b e,t2 f e,t2 f b,t2 e f,Z[4] e,t1 d,H e,t2 e c,t2 e d,t1 d,Z[4] e,Z+[4] c,Z[4] d,t2 c e,t2 d e,t2 c d,t2 e d,t2 e c,Z+[4] e,t2 c e,t2 d e,t2 e d,H d,t2 f d,t2 d f,t2 d b,Z+[4] f,Z[4] d,Z+[4] b,t2 d f,t2 b f,t2 b d,t2 f d,t2 f b,Z[4] f,t2 d f,H f,t2 e a,t2 a e,t2 e a,t2 d b,t2 b d,t2 d b",
   "H f,t2 d c,t2 f d,t2 b f,Z+[2] a,Z+[4] a,Z+[2] b,Z+[4] b,Z+[4] d,Z+[4] c,Z+[4] f,t2 b a,t2 f a,t2 c d,t2 f d,t2 d c,t2 b c,t2 b d,t2 a b,t2 a f,Z+[4] a,Z+[4] f,Z[4] b,Z[4] d,Z[4] c,t2 f a,t2 b a,t2 f b,t2 a f,Z[2] b,H e,t2 c b,t2 d c,t2 e c,t2 e d,t2 c d,t2 b d,t1 b,t1 c,t1 d,Z[4] e,Z+[4] b,Z[4] c,Z+[4] d,t2 b e,t2 c e,t2 d e,t2 d b,t2 b c,t2 e c,t2 e d,t2 b e,t2 c e,t2 e c,t1 e,H e,t2 e a,t2 f e,t2 a f,Z[4] a,Z+[4] f,Z[4] e,t2 f a,t2 e a,t2 e f,t2 a e,Z+[4] a,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t2 a c,t2 c a,t2 a c,t1 a,H a,t2 d b,t2 a b,t2 a d,Z+[4] d,Z[4] a,Z[4] b,t2 a d,t2 b d,t2 d b,Z+[4] d,t2 a d,t1 c,H a,t2 a c,t1 c,Z[4] a,Z[4] c,t2 c a,t1 c,t1 a,H c,t2 f e,t2 e f,t2 c e,t2 c f,Z[4] c,Z+[4] f,Z[4] e,t2 f c,t2 e c,t2 e f,t2 c f,t2 c e,Z+[4] c,t2 f c,H f,t2 f a,t1 a,Z[4] f,Z[4] a,t2 a f,t1 a,H a,t2 a b,t2 a d,Z+[4] a,Z[4] b,Z[4] d,t2 b a,t2 d a,t2 d b,t2 a b,t2 a d,Z+[4] a,t2 d a,t2 b a,H d,t1 c,H c,Z[2] c,H c,Z[2] c,H c,Z[2] c,t2 c f,t2 f c,t2 c f,t2 f d,t2 d f,t2 f d,t2 d a,t2 a d,t2 d a,t2 b e,t2 e b",
   "H a,t2 g a,t2 c b,t2 g b,t2 g c,t2 c g,t2 b g,t2 a g,t2 a b,t2 a c,Z[4] a,Z+[4] c,Z[4] b,Z+[4] g,Z[4] e,t2 c a,t2 b a,t2 g a,t2 b c,t2 g c,t2 g b,t2 c g,t2 g c,H c,H f,t2 f a,t2 c a,t2 c d,t2 f e,t2 d f,Z+[4] a,Z[4] f,Z+[4] d,Z[4] c,Z[4] e,t2 f a,t2 d a,t2 c a,t2 d f,t2 e f,t2 c d,t2 f e,H c,t2 c b,t2 a c,t2 c a,t2 g c,t2 b g,Z[4] a,Z+[4] b,Z[4] g,Z+[4] c,t2 b a,t2 g b,t2 g c,t2 b g,t2 a c,t2 a g,t2 g b,t2 b g,H b,t2 b d,t2 d e,Z[4] d,Z+[4] e,t2 b d,t2 b e,t2 d e,H g,t2 f g,t2 a f,t2 c a,t2 a c,t2 f c,t2 g c,t2 g f,t2 g a,Z[4] c,Z+[4] f,Z+[4] g,Z[4] a,t2 f c,t2 g f,t2 g a,t2 f g,t2 c a,t2 c g,Z[2] c,Z+[2] f,t2 f c,t2 c f,H g,t2 g b,t2 e a,t2 g e,t2 b a,Z[4] g,Z+[4] e,Z+[4] b,Z[4] a,t2 e g,t2 b e,t2 b a,t2 e b,t2 g a,t2 g b,t2 g e,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t2 h d,t2 d h,H a,t2 f a,t2 a f,Z[4] f,Z+[4] a,t2 a f,t2 h d,t1 e,H a,t2 a b,t2 a e,t1 e,Z[4] b,Z+[4] a,Z+[4] e,t2 a b,t2 e b,t2 b e,Z[4] b,t2 e b,t2 a b,H a,t2 a f,Z[4] a,Z+[4] f,t2 f a,t2 a f,t2 f a,t2 a f,H a,t2 a h,t2 d h,t2 h d,Z[4] d,Z+[4] h,t2 a d,t2 a h,t2 h d,t2 a h,H h,t2 g c,t2 h c,t2 c g,Z+[4] h,Z[4] g,Z+[4] c,t2 g h,t2 c h,t2 c g,t2 h g,t2 h c,Z[4] h,t2 g h,H h,H g,t2 g d,Z[4] g,Z+[4] d,t2 d g,t2 g d,t2 d a,t2 a d,H d,t2 f d,t2 d f,Z[4] f,Z+[4] d,t2 d f,t2 g a,t1 b,H d,t2 e b,t2 d b,t2 d e,t1 b,Z[4] d,Z+[4] e,Z+[4] b,t2 e d,t2 b d,t2 b e,t2 d e,t2 d b,Z[4] d,t2 e d,H e,t2 e f,Z[4] e,Z+[4] f,t2 f e,t2 e f,t2 f e,t2 e f,H e,t2 g e,t2 a e,t2 g a,t2 e a,t2 e g,Z[4] g,Z+[4] e,t2 e g,H e,H b,t2 b c,t2 b f,Z[4] b,Z+[4] f,Z+[4] c,t2 f b,t2 c b,t2 f c,t2 b c,t2 b f,Z[4] b,t2 f b,t2 c b,H c,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 c b,t2 b c,t2 c b,t2 d g,t2 g d,t2 d g,t2 g a,t2 a g,t2 g a,t2 f h,t2 h f,t2 f h,t2 h e,t2 e h,t2 h e",
   "t2 c e,t2 b e,H c,t2 e b,t2 h c,t2 e d,t2 h e,t2 h g,t2 e h,t2 e g,t2 d g,t2 c e,Z[4] g,Z[2] h,Z[4] h,Z[4] c,Z+[4] e,Z+[4] d,Z[4] a,t2 h g,t2 d g,t2 e h,t2 d h,t2 d c,t2 d e,t2 h c,t2 h d,Z+[4] e,Z[4] h,t2 h e,t2 b e,t2 b h,t2 d h,t2 e h,t2 b e,t2 h e,t2 h b,t2 e h,t2 e b,H d,t2 a b,t2 a e,t1 e,H f,t2 d a,t2 d e,t2 h e,t2 d c,t2 f c,t2 f b,t2 h b,t2 f g,t2 b h,t2 d h,t2 d b,t2 d f,t2 a e,t2 a h,t2 a f,Z[4] d,Z[4] g,Z+[4] c,Z+[4] a,Z+[4] f,Z[4] b,Z+[4] h,t2 a d,t2 f g,t2 a c,t2 f c,t2 h b,t2 b h,t2 f h,t2 a h,t2 a b,t2 d g,t2 d f,t2 d a,t2 d h,t2 b d,t2 h d,t2 e d,t2 h b,t2 e h,t2 a h,t2 a e,t2 f a,t2 a f,t2 h f,t2 h e,t2 h a,t2 b f,t2 d e,t1 d,t1 f,H g,t2 g d,t2 h g,t2 e g,t2 b f,t2 a f,t2 h e,t2 h a,t2 g e,t2 d g,t1 d,t1 f,Z[4] e,Z[4] d,t2 d e,t2 e d,t2 d e,t2 d f,t2 a f,t2 g f,t2 g a,t2 h a,t2 h g,t2 b f,t2 e f,t2 e d,H c,t2 g h,t2 b f,t2 a f,t2 g f,t2 g a,t2 h f,t2 e f,t2 c g,t1 f,Z[4] c,Z+[4] g,t2 g c,t2 h c,t2 h g,t2 c g,t2 g h,t2 g a,t2 d f,t2 a f,t2 h f,t2 h g,t2 h a,t2 c f,t2 c g,t2 c d,t2 c a,t2 c h,t2 b f,H h,t2 a g,t2 c d,t2 a c,t2 b a,t2 e a,t2 e f,t2 b f,t2 a f,t2 h f,t2 h b,t2 c f,t1 f,t1 h,Z+[4] b,Z+[4] f,Z[4] h,t2 f b,t2 h b,t2 f h,t2 b h,t2 b f,Z[4] b,t2 h b,t2 b e,t2 d e,t2 b f,t2 c b,t2 g b,t2 g c,t2 d a,t2 g a,t2 c d,t2 b a,t2 b d,t2 b c,t2 b g,t2 f a,t2 e a,t2 e d,t1 d,t1 a,H h,t2 h b,t2 g a,t2 f a,t2 h g,t2 h c,t2 e d,t2 e a,t2 b g,t2 b c,t1 a,Z[4] h,Z+[4] b,t2 b h,t2 h b,t2 h e,t2 d e,t2 d a,t2 g a,t2 h a,t2 h b,t2 h c,t2 h g,t2 f a,t2 e a,t1 c,H b,t2 e d,t2 e a,t2 g e,t2 f e,t2 h g,t2 h c,t2 b a,t2 b d,t1 b,Z[4] b,Z[4] d,t2 a b,t2 a d,t2 a b,t2 a e,t2 a d,t2 g e,t2 c d,t2 h d,t2 h c,t2 h g,t2 f e,t2 b e,t2 b d,t1 b,H b,t2 c g,t2 e c,t2 e d,t2 c d,t2 g d,t2 g c,t2 f c,t2 h g,t2 b e,t2 b d,Z+[4] b,Z[4] d,Z[4] e,t2 d b,t2 e b,t2 e d,t2 g e,t2 b d,t2 b e,Z+[4] b,t2 f b,t2 d b,t2 f b,t2 g b,t2 c b,t2 e f,t2 h f,t2 c g,t2 g c,t2 e c,t2 e g,t2 e h,t2 f g,t2 b g,t2 b f,H d,t2 c g,t2 g c,t2 h c,t2 d c,t2 f g,t2 f h,t2 e h,t2 b f,t1 c,t1 g,Z[4] d,Z[4] c,t2 c d,t2 e c,t2 d c,t2 e f,t2 a e,t2 c e,t2 c a,t2 a c,t2 h g,t2 e a,t2 d g,t2 d a,t2 d e,t2 d h,t2 b f,t1 f,H c,t2 d c,t2 h g,t2 d h,t2 d e,t2 c d,t2 b f,t1 f,t1 e,Z[4] d,Z+[4] c,t2 c d,t2 d c,t2 d f,t2 h f,t2 c d,t2 c e,t2 c h,t2 h g,t2 h a,t2 d g,t2 d e,t2 d a,t2 d h,t2 d c,t2 f a,t2 f h,t2 b a,t2 b h,t2 b f,t1 b,t1 a,t1 e,H d,t2 d b,t2 h a,t2 f g,t2 d h,t2 c f,t2 c e,t1 h,t1 b,t1 e,t1 g,Z[4] d,Z[4] h,Z+[4] b,t2 h d,t2 b d,t2 h b,t2 d b,t2 d h,Z+[4] d,t2 c d,t2 b d,t2 d h,t2 c h,t2 f h,t2 c d,t2 f d,t2 f g,t2 c g,t2 c e,t2 c f,t2 h a,t2 h f,t1 a,H b,t2 b c,t2 b f,t2 e b,t2 g e,t2 e g,t2 b e,t2 b g,t2 f e,t2 c f,t2 c b,t2 h a,t2 h e,t2 h f,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 c b,t2 c f,t2 f e,t2 b a,t2 g e,t2 g a,t2 g b,t2 g c,t2 g f,t1 f,H g,t2 b f,t2 b c,t2 a b,t2 e a,t2 a e,t2 b e,t2 b a,t2 f a,t2 f c,t2 g e,t2 g b,t1 g,t1 a,Z+[4] b,Z+[4] g,t2 g b,t2 f g,t2 e g,t2 g h,t2 f g,t2 b g,t2 e g,t2 b f,t2 e f,t2 b c,t2 b a,t2 c a,t2 f a,t2 f c,t2 g a,t2 g c,t2 g f,t2 h c,t1 d,H g,H c,t2 f d,t2 c d,t2 a f,t2 c a,t2 f a,t1 d,Z[4] c,Z+[4] a,Z+[4] d,t2 a c,t2 d c,t2 d a,t2 c a,t2 c d,Z[4] c,t2 d f,t2 c a,t1 b,t1 c,H c,t2 c b,t2 f b,t2 f d,t2 f c,t2 c f,t1 b,Z+[4] c,Z[4] f,Z+[4] b,t2 f c,t2 b c,t2 d b,t2 c b,Z[4] c,t2 f c,t1 h,H f,t2 f b,t2 b a,t1 b,Z[4] f,Z+[4] a,Z+[4] b,t2 a f,t2 b f,t2 b a,t2 f a,t2 f b,Z[4] f,t2 d b,t2 b d,t2 f a,t1 f,H f,t2 f b,t2 a h,t2 c a,t2 c d,t2 a c,t2 a d,t2 f c,t2 f d,t2 f a,t2 b d,t2 b h,t1 f,Z+[4] c,Z[4] b,Z+[4] h,Z[4] f,Z[4] a,t2 b c,t2 a c,t2 f b,t2 a b,t2 f h,t2 a h,t2 a f,t2 f a,t2 b a,t2 b f,t2 c a,t2 c f,t2 c b,t2 c h,Z+[4] c,t2 f c,t2 a c,t2 b h,t2 a h,t2 a b,t2 d c,t2 a f,t2 c d,t2 b f,t2 h b,t1 b,H c,t2 c h,t2 f b,t2 c b,t2 b f,t2 h b,t1 f,t1 b,Z[4] c,Z+[4] h,Z[4] f,t2 h c,t2 f c,t2 f h,t2 c h,t2 c f,Z+[4] c,t2 h c,t2 c b,t2 f c,H h,t2 b h,t2 c f,t2 c b,t2 f c,t2 h b,t2 h c,t2 h d,t1 h,t1 d,t1 c,t1 f,Z+[4] h,Z[4] d,Z[4] c,t2 d h,t2 c h,t2 b c,t2 h d,Z+[4] h,t2 c h,t2 b h,t2 c d,t2 b d,t2 c f,t2 b c,t2 d c,t1 d,H h,t2 c d,Z[2] c,t2 a f,t2 f a,t2 c d,H f,Z[2] f,H f,Z[2] f,H f,Z[2] f,t1 d,H f,Z[2] f,H f,Z[2] f,H f,Z[2] f,t1 a,Z a,t1 b,Z b,t2 f h,t2 h f,t2 f h,t2 h g,t2 g h,t2 h g,t2 g e,t2 e g,t2 g e,t2 e d,t2 d e,t2 e d,t2 d c,t2 c d,t2 d c,t2 c b,t2 b c,t2 c b,t2 b a,t2 a b,t2 b a",
   "H b,t2 c b,t2 g b,t2 c g,t2 b g,Z[4] g,Z+[4] e,Z+[4] c,Z+[4] b,t2 c b,t2 g b,t2 g a,t2 c b,t2 a g,H a,H f,t2 c a,t2 f a,t2 d c,t2 f b,t2 f d,t2 f e,t2 c d,t2 c f,t2 a d,t2 a f,t2 a c,Z+[4] a,Z[4] c,Z+[4] f,Z[4] d,Z[4] e,Z[4] b,t2 c a,t2 f a,t2 d a,t2 f c,t2 e c,t2 d f,t2 e b,t2 c b,t2 c e,t1 b,H d,t2 d b,t2 g b,t2 d g,t2 d a,t1 b,Z[4] d,Z+[4] g,Z[4] a,Z[4] b,t2 g d,t2 a g,t2 a b,t2 g a,t2 d b,t2 d a,t2 d g,t2 d a,H a,t2 a f,t2 e a,t2 b e,t2 e g,t2 e b,t2 a g,t2 a e,t2 f b,t1 e,Z[4] f,Z+[4] b,Z+[4] e,Z+[4] a,t2 g f,t2 g b,t2 g e,t2 g a,t2 e a,t2 b a,t2 f a,t2 f b,H h,t2 h f,Z[4] h,Z+[4] f,t2 f h,t1 a,H a,t2 e a,t2 a e,Z[4] e,Z+[4] a,t2 a e,t2 e a,t2 a e,t2 e a,H e,t2 e d,t2 e g,t2 g e,t2 d e,Z+[4] d,Z[4] e,Z[4] g,t2 e d,t2 g d,t2 g e,t2 d g,Z+[4] d,t2 d e,t2 d g,t2 g d,t2 e g,t1 g,H e,t2 a e,t2 e a,Z[4] a,Z+[4] e,t2 e a,H e,t2 e h,t2 f h,t2 f e,t2 e f,Z[4] e,Z+[4] h,t2 h e,H h,t2 h c,t2 c b,Z+[4] h,Z[4] c,Z+[4] b,t2 c h,t2 b h,t2 b c,t2 h c,t2 h b,Z[4] h,t2 c h,H c,t2 e c,t2 c e,Z[4] e,Z+[4] c,t2 c e,t2 e c,t2 c f,t2 f c,H c,t2 c a,Z[4] c,Z+[4] a,t2 a c,t2 e f,t1 d,H a,t2 a d,t2 a g,t1 d,Z[4] g,Z[4] d,Z[4] a,t2 d g,t2 a g,t2 a d,t2 g d,t2 g a,Z[4] g,t2 a g,t2 d g,t2 a g,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,t1 g,H c,t2 f c,t2 c f,t2 c e,Z[4] c,Z+[4] e,t2 e c,H e,H c,t2 c d,Z[4] c,Z+[4] d,t2 d c,H d,t2 a d,t2 a g,t2 g a,t2 d g,t2 d a,t1 a,t1 g,Z[4] d,Z[4] a,Z[4] g,t2 a d,t2 g d,t2 g a,t2 d g,Z[4] d,t2 a g,t2 a d,t2 g a,t2 g d,t1 d,H d,t2 d c,Z[4] d,Z+[4] c,t2 c d,H c,t2 b c,t2 h c,t2 c h,t2 c b,Z+[4] c,Z[4] h,Z[4] b,t2 h c,t2 b c,t2 c b,t2 c h,Z+[4] c,t2 c h,t2 h c,H h,t2 h d,Z[4] h,Z+[4] d,t2 d h,t1 g,H d,t2 d g,t2 d a,t1 a,t1 g,Z[4] d,Z[4] a,Z[4] g,t2 a d,t2 g d,t2 a g,t2 d g,t2 d a,Z[4] d,t2 g d,t2 d a,t2 a d,t1 d,H g,t2 g h,t2 a d,t1 d,Z[4] g,Z+[4] h,t2 h g,t2 a d,t1 d,H h,t2 h b,t2 c h,t2 h c,t2 a d,t1 d,Z+[4] c,Z[4] b,Z[4] h,t2 b c,t2 h c,t2 h b,t2 c b,t2 c h,Z+[4] c,t2 h c,t2 b c,t2 a d,H h,H a,Z[2] a,H a,Z[2] a,H a,Z[2] a,t1 c,t1 a,Z a,t2 b d,t2 d b,t2 g f,t2 f g,t2 g f,t2 f h,t2 h f,t2 f h,t2 h e,t2 e h,t2 h e,t2 e c,t2 c e,t2 e c",
   "H f,t2 f b,t2 f e,t2 f h,t2 e f,t2 d g,t2 c g,Z[4] h,Z+[4] f,Z[4] c,Z[4] d,Z+[4] g,Z[4] e,Z+[4] b,Z+[4] a,t2 f h,t2 e h,t2 d f,t2 g f,t2 e f,t2 g c,t2 a c,t2 g d,t2 a d,t2 a e,t2 a b,t2 d a,t2 d e,t2 f g,t2 f a,t2 f e,t2 f d,t2 f c,Z+[4] g,Z+[4] f,Z[4] c,Z[4] d,Z+[4] b,t2 c g,t2 d g,t2 a g,t2 a f,t2 d c,t2 a d,t2 a b,t2 d b,t2 g f,t2 g c,H h,t2 h c,Z[4] h,Z+[4] c,t2 c h,t2 d f,t1 f,H f,t2 f g,Z[4] f,Z+[4] g,t2 g f,t2 f g,t2 g f,t2 f g,H f,t2 f b,t2 f d,Z[4] b,Z+[4] f,Z[4] d,t2 f b,t2 d b,t2 b d,Z+[4] b,t2 d b,t2 f b,H f,t2 f g,Z[4] f,Z+[4] g,t2 g f,t2 f g,t2 g f,t2 f g,H f,t2 f h,t2 c h,t2 c f,t2 f c,Z[4] f,Z+[4] h,t2 h f,H h,t2 e a,t2 h a,t2 h e,Z+[4] h,Z[4] e,Z+[4] a,t2 e h,t2 a h,t2 a e,t2 h e,t2 h a,Z[4] h,t2 e h,H e,t2 e f,Z[4] e,Z+[4] f,t2 f e,t2 e f,t2 c f,H c,t2 g c,t2 c g,Z[4] g,Z+[4] c,t2 c g,t2 g c,t2 c g,t2 g c,H g,t2 g b,t2 d b,t2 d g,t2 g d,Z[4] d,Z+[4] g,Z[4] b,t2 g d,t2 b d,t2 b g,t2 d g,t2 d b,Z+[4] d,t2 g d,H g,t2 c g,t2 g c,Z[4] c,Z+[4] g,t2 g c,t2 e f,H g,t2 f e,t2 g e,t2 g f,Z[4] f,Z+[4] e,t2 e f,t1 d,H e,H h,Z[2] b,H d,Z[2] d,H d,Z[2] d,H d,Z[2] d,t2 h g,t2 g h,t2 h g,t2 d f,t2 f d,t2 d f,t2 f g,t2 g f,t2 f g,t2 g h,t2 h g,t2 g h,t2 h e,t2 e h,t2 h e,t2 e a,t2 a e,t2 e a",
   "H f,t2 d c,t2 f d,t2 b f,Z[4] a,Z[4] b,Z+[4] d,Z+[4] c,Z+[4] f,t2 b a,t2 f a,t2 c d,t2 f d,t2 d c,t2 b c,t2 b d,t2 a b,t2 a f,Z+[4] a,Z+[4] f,Z[4] b,Z[4] d,Z[4] c,t2 f a,t2 b a,t2 b f,t2 d f,t2 c f,t2 d b,t2 c b,t2 c d,t2 f d,t2 f b,t2 f c,t2 a b,Z+[4] c,Z[4] f,t2 d c,t2 d f,t2 c f,Z[2] d,H d,t2 f d,t2 d f,t2 f d",
   "H b,t2 b a,t2 d b,t2 b d,Z[4] d,Z+[4] b,Z+[4] a,Z[4] e,t2 b d,t2 a d,t2 a b,t2 d b,t2 d a,Z[4] d,t2 a d,t2 b d,Z[2] d,Z[2] a,t2 a d,Z+[2] d,t2 a d,H b,H f,t2 e b,t2 b e,Z[4] e,Z[4] f,Z+[4] b,t2 f e,t2 b f,t2 e b,Z+[4] e,Z+[4] b,Z[4] f,t2 f e,t2 f b,t2 b f,t2 e f,H b,t2 b a,t2 c b,t2 b c,t2 a d,Z+[4] a,Z[4] d,Z+[4] b,t2 d a,t2 b a,t2 b d,t2 c d,t2 c b,t2 a d,Z[4] a,t2 b a,Z[2] c,Z+[2] a,t2 a c,t1 e,H a,t2 f e,t2 a f,t2 a e,t1 e,Z+[4] f,Z[4] a,Z+[4] e,t2 a f,t2 e f,t2 f e,Z[4] f,t2 a f,H a,t2 a c,t2 b c,t2 b a,t2 a b,Z[4] b,Z+[4] a,Z[4] c,t2 a b,t2 c b,t2 c a,t2 b a,t2 b c,Z+[4] b,t2 b a,t1 f,H b,t2 e b,t2 e f,t2 b e,t2 b f,t1 f,Z+[4] e,Z[4] b,Z+[4] f,t2 b e,t2 f e,t2 f b,t2 e b,t2 e f,Z[4] e,t2 f e,t2 b e,H a,t2 a c,t2 c b,Z[4] a,Z+[4] c,Z[4] b,t2 c a,t2 b a,t2 b c,t2 a c,t2 a b,Z+[4] a,t2 a c,H a,t2 d a,t2 f d,t2 a d,t2 a f,Z+[4] d,Z[4] f,Z+[4] a,t2 f d,t2 a d,t2 a f,t2 d a,Z[4] d,H d,t2 b c,t2 d c,t2 d b,Z[4] d,Z+[4] b,Z[4] c,t2 b d,t2 c d,t2 c b,t2 d b,t2 d c,Z+[4] d,t2 d b,H d,t2 a d,t2 f d,t2 f a,t2 d f,t2 d a,Z+[4] a,Z[4] f,Z+[4] d,t2 f a,t2 d a,t2 d f,t2 a f,t2 a d,Z[4] a,t2 f a,H a,t2 f c,t2 c f,t2 f c,t2 c f,t2 f c,t2 c f,t2 f a,t2 a f,t2 f a",
   "H d,t2 d b,t2 e b,t2 d c,t2 e d,t2 d e,Z+[4] d,Z[4] b,Z+[4] c,Z+[4] a,t2 b d,t2 c d,t2 c b,t2 e b,t2 e c,t2 d b,Z[4] d,t2 c d,t2 e d,Z d,Z[2] b,Z[2] e,t2 e d,t2 e b,t2 c e,t2 d e,t2 d b,Z+[2] d,Z+[2] b,Z[2] c,Z+[2] e,t2 c d,t2 e d,t2 c b,t2 e b,t2 c e,H d,t1 a,H f,t2 d a,t1 a,Z[4] d,Z[4] f,Z[4] a,t2 f d,t2 a f,t2 d a,Z+[4] d,Z[4] a,Z+[4] f,t2 f d,t2 f a,t2 a f,t2 d f,H f,H a,t2 a c,t2 a e,Z[4] a,Z+[4] e,Z+[4] c,t2 e a,t2 c a,t2 e c,t2 a c,t2 a e,Z[4] a,t2 e a,t2 c a,H c,t2 c f,H c,t2 c a,t2 c b,Z[4] c,Z+[4] b,Z+[4] a,t2 b c,t2 a c,t2 a b,t2 c b,t2 c a,Z[4] c,t2 a c,t2 b c,H b,t2 d a,t2 a d,t2 d a,t2 c e,t2 e c,t2 c e,t2 e d,t2 d e,t2 e d,t2 d b,t2 b d,t2 d b",
   "H d,Z+[4] b,Z+[2] a,Z+[4] a,Z[4] c,Z+[4] d,t2 d b,t2 e b,t2 d c,t2 e c,t2 e d,t2 b e,t2 b c,Z[4] d,Z+[4] b,Z+[4] c,Z[4] e,t2 b d,t2 e b,t2 d e,t2 d c,t2 b d,Z[2] b,Z+[2] d,t2 d b,t2 e d,t2 d e,t2 b e,t2 b d,H d,H f,t2 d a,t2 f d,t2 d f,Z[4] f,Z+[4] d,Z+[4] a,t2 d f,t2 a f,t2 a d,t2 c a,t2 c b,t2 b c,t2 a c,t2 a b,t2 f c,t2 f b,t2 f a,Z+[4] d,Z[4] f,Z+[4] a,Z+[4] b,Z[4] c,t2 a d,t2 b d,t2 c d,t2 a f,t2 b f,t2 c f,t2 c a,t2 c b,t2 b c,t2 a c,t2 d f,Z[2] c,H f,t2 f a,t2 f e,Z[4] f,Z+[4] a,Z+[4] e,t2 a f,t2 e f,t2 a e,t2 f e,t2 f a,Z[4] f,t2 a f,t2 e f,H e,t1 b,H a,t2 a b,t1 b,Z[4] a,Z[4] b,t2 b a,t1 a,t1 b,H b,t2 d b,t2 f b,t2 b f,t2 b d,Z[4] f,Z+[4] b,Z[4] d,t2 b f,t2 d f,t2 d b,t2 f d,Z+[4] f,H f,t2 f a,t1 a,Z[4] f,Z[4] a,t2 a f,t1 a,t1 e,H a,t2 c a,t2 a e,t2 a c,t1 e,Z+[4] a,Z[4] c,Z+[4] e,t2 c a,t2 e a,t2 a e,Z[4] a,t2 c a,t1 f,H c,t2 c f,t1 f,Z[4] c,Z[4] f,t2 f c,t2 c f,t2 f c,t2 c f,t1 c,H c,t2 c d,t2 d b,Z[4] c,Z+[4] d,Z[4] b,t2 d c,t2 b c,t2 b d,t2 c d,t2 c b,Z+[4] c,t2 d c,t1 f,H d,t2 d f,t1 f,Z[4] d,Z[4] f,t2 f d,t2 d f,t2 f d,t2 d f,t1 d,t1 a,H d,t2 d a,t2 d e,t1 a,Z+[4] d,Z[4] e,Z+[4] a,t2 e d,t2 a d,t2 e a,t2 d a,t2 d e,Z[4] d,t2 e d,t2 a d,H d,t1 b,t2 f c,t2 c f,t2 f d,t2 d f,t2 f d,t2 d e,t2 e d,t2 d e,t2 e a,t2 a e,t2 e a"
  }
};

const std::vector<std::vector<unsigned>> spectral_classification_tcount = {
  {0, 7},
  {0, 16, 7},
  {0, 24, 16, 31, 7, 15, 36, 12},
  {0, 31, 24, 41, 16, 26, 55, 47, 32, 42, 40, 29, 78, 56, 63, 52, 34, 7, 32, 15, 72, 42, 55, 55, 23, 87, 64, 78, 80, 56, 42, 27, 19, 63, 59, 32, 51, 29, 47, 36, 56, 69, 70, 41, 12, 43, 19, 44}
};

const std::vector<std::vector<unsigned>> spectral_classification_representative = {
  {0x0, 0x8},
  {0x00, 0x80, 0x88},
  {0x0000, 0x8000, 0x8080, 0x0888, 0x8888, 0x7080, 0x7880, 0x7888},
  {0x00000000, 0x80000000, 0x80008000, 0x0a000010, 0x80808080, 0x88800800, 0x80088820, 0x88808080, 0x2a808080, 0x70080088, 0xf0800080, 0xc0c8c0c8, 0xf780b880, 0x9ba00000, 0xe8080808, 0x8808a808, 0xc8888888, 0x88888888, 0xd5808080, 0x70807080, 0xe1808880, 0xea808080, 0xcc808880, 0xd8808880, 0x7f008000, 0xe0a8c800, 0x4e144404, 0xe8a08880, 0xf8808880, 0xe2222220, 0xa038a028, 0xe6804c80, 0x7f808080, 0x0231da51, 0xa002bc88, 0xf8087888, 0xeca08088, 0xf0888888, 0x8a80cac0, 0x78807880, 0xf8284888, 0xfca08880, 0xdac08a80, 0x38887888, 0x78887888, 0xa6cc60a0, 0x62c8ea40, 0x6ac8e240}
};

const std::vector<std::unordered_map<uint64_t, unsigned>> spectral_classification_index = {
  {{0x0, 0}, {0x8, 1}},
  {{0x00, 0}, {0x80, 1}, {0x88, 2}},
  {{0x0000, 0}, {0x8000, 1}, {0x8080, 2}, {0x0888, 3}, {0x8888, 4}, {0x7080, 5}, {0x7880, 6}, {0x7888, 7}},
  {{0x00000000, 0}, {0x80000000, 1}, {0x80008000, 2}, {0x0a000010, 3}, {0x80808080, 4}, {0x88800800, 5}, {0x80088820, 6}, {0x88808080, 7}, {0x2a808080, 8}, {0x70080088, 9}, {0xf0800080, 10}, {0xc0c8c0c8, 11}, {0xf780b880, 12}, {0x9ba00000, 13}, {0xe8080808, 14}, {0x8808a808, 15}, {0xc8888888, 16}, {0x88888888, 17}, {0xd5808080, 18}, {0x70807080, 19}, {0xe1808880, 20}, {0xea808080, 21}, {0xcc808880, 22}, {0xd8808880, 23}, {0x7f008000, 24}, {0xe0a8c800, 25}, {0x4e144404, 26}, {0xe8a08880, 27}, {0xf8808880, 28}, {0xe2222220, 29}, {0xa038a028, 30}, {0xe6804c80, 31}, {0x7f808080, 32}, {0x0231da51, 33}, {0xa002bc88, 34}, {0xf8087888, 35}, {0xeca08088, 36}, {0xf0888888, 37}, {0x8a80cac0, 38}, {0x78807880, 39}, {0xf8284888, 40}, {0xfca08880, 41}, {0xdac08a80, 42}, {0x38887888, 43}, {0x78887888, 44}, {0xa6cc60a0, 45}, {0x62c8ea40, 46}, {0x6ac8e240, 47}}
};

}

}

#endif

// Local Variables:
// c-basic-offset: 2
// eval: (c-set-offset 'substatement-open 0)
// eval: (c-set-offset 'innamespace 0)
// End:
